diff options
Diffstat (limited to 'bin/reproducible_common.sh')
| -rwxr-xr-x | bin/reproducible_common.sh | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/bin/reproducible_common.sh b/bin/reproducible_common.sh index 5ffc22f2..aa340f38 100755 --- a/bin/reproducible_common.sh +++ b/bin/reproducible_common.sh @@ -82,6 +82,7 @@ META_PKGSET[20]="maint_pkg-java-maintainers" META_PKGSET[21]="maint_pkg-haskell-maintainers" META_PKGSET[22]="maint_pkg-ruby-extras-maintainers" META_PKGSET[23]="maint_debian-boot" +META_PKGSET[24]="maint_debian-ocaml" schedule_packages() { # these packages are manually scheduled, so should have high priority, |