debian-ocaml-maint Aug 2024 by subject

[First Page] <
[previous page] 		Page 1 of 2 >
[next page] 		[Last Page]

[Thread Index] [Date Index] [Author Index] [Other Debian Lists] [Debian Home]
gd4o_1.0~alpha5.git20220521.bb52fb2-2_source.changes ACCEPTED into unstable janest-ocaml-compiler-libs_0.17.0-1_source.changes ACCEPTED into unstable mathcomp-algebra-tactics_1.2.3-4_source.changes ACCEPTED into unstable [bts-link] source package src:hol-light [Git][ocaml-team/aac-tactics] Pushed new tag archive/debian/8.19.1-2 [Git][ocaml-team/aac-tactics] Pushed new tag debian/8.19.1-2 [Git][ocaml-team/aac-tactics][master] 3 commits: Do not hardcode /usr/lib/ocaml [Git][ocaml-team/advi] Pushed new tag archive/debian/2.0.0-1 [Git][ocaml-team/advi] Pushed new tag archive/debian/2.0.0-2 [Git][ocaml-team/advi] Pushed new tag archive/debian/2.0.0-3 [Git][ocaml-team/advi] Pushed new tag archive/debian/2.0.0-4 [Git][ocaml-team/advi] Pushed new tag debian/2.0.0-1 [Git][ocaml-team/advi] Pushed new tag debian/2.0.0-2 [Git][ocaml-team/advi] Pushed new tag debian/2.0.0-3 [Git][ocaml-team/advi] Pushed new tag debian/2.0.0-4 [Git][ocaml-team/advi] Pushed new tag upstream/2.0.0 [Git][ocaml-team/advi][master] 2 commits: Use FORCE_SOURCE_DATE for dvips reproducibility [Git][ocaml-team/advi][master] 2 commits: Use SOURCE_DATE_EPOCH for reproducibility [Git][ocaml-team/advi][master] 2 commits: Use SOURCE_DATE_EPOCH to set the date in manual [Git][ocaml-team/advi][master] 8 commits: New upstream version 2.0.0 [Git][ocaml-team/advi][pristine-tar] pristine-tar data for advi_2.0.0.orig.tar.gz [Git][ocaml-team/advi][upstream] New upstream version 2.0.0 [Git][ocaml-team/bin-prot] Pushed new tag archive/debian/1%0.17.0-1 [Git][ocaml-team/bin-prot] Pushed new tag archive/debian/1%0.17.0-2 [Git][ocaml-team/bin-prot] Pushed new tag debian/1%0.17.0-1 [Git][ocaml-team/bin-prot] Pushed new tag debian/1%0.17.0-2 [Git][ocaml-team/bin-prot] Pushed new tag upstream/0.17.0 [Git][ocaml-team/bin-prot][master] 3 commits: Fix FTBFS on bytecode architectures [Git][ocaml-team/bin-prot][master] 5 commits: New upstream version 0.17.0 [Git][ocaml-team/bin-prot][pristine-tar] pristine-tar data for bin-prot_0.17.0.orig.tar.gz [Git][ocaml-team/cairo-ocaml] Pushed new tag archive/debian/1%1.2.0-10 [Git][ocaml-team/cairo-ocaml] Pushed new tag debian/1%1.2.0-10 [Git][ocaml-team/camlbz2] Pushed new tag archive/debian/0.8.0-2 [Git][ocaml-team/camlbz2] Pushed new tag debian/0.8.0-2 [Git][ocaml-team/camlbz2][master] 3 commits: Add support for a different OCaml stdlib dir [Git][ocaml-team/camlimages] Pushed new tag archive/debian/1%5.0.5-1 [Git][ocaml-team/camlimages] Pushed new tag debian/1%5.0.5-1 [Git][ocaml-team/camlimages] Pushed new tag upstream/5.0.5 [Git][ocaml-team/camlimages][master] 6 commits: New upstream version 5.0.5 [Git][ocaml-team/camlimages][pristine-tar] pristine-tar data for camlimages_5.0.5.orig.tar.gz [Git][ocaml-team/camlimages][upstream] New upstream version 5.0.5 [Git][ocaml-team/camljava] Pushed new tag archive/debian/0.4-2 [Git][ocaml-team/camljava] Pushed new tag debian/0.4-2 [Git][ocaml-team/camlp4] Pushed new tag archive/debian/5.2+1-1 [Git][ocaml-team/camlp4] Pushed new tag debian/5.2+1-1 [Git][ocaml-team/camlp4] Pushed new tag upstream/5.2+1 [Git][ocaml-team/camlp4][pristine-tar] pristine-tar data for camlp4_5.2+1.orig.tar.gz [Git][ocaml-team/camlpdf] Pushed new tag archive/debian/2.7-2 [Git][ocaml-team/camlpdf] Pushed new tag archive/debian/2.7.1-1 [Git][ocaml-team/camlpdf] Pushed new tag debian/2.7-2 [Git][ocaml-team/camlpdf] Pushed new tag debian/2.7.1-1 [Git][ocaml-team/camlpdf] Pushed new tag upstream/2.7.1 [Git][ocaml-team/camlpdf][master] 2 commits: Fix autopkgtest on bytecode architectures [Git][ocaml-team/camlpdf][pristine-tar] pristine-tar data for camlpdf_2.7.1.orig.tar.gz [Git][ocaml-team/camltemplate] Pushed new tag archive/debian/1.0.2-5 [Git][ocaml-team/camltemplate] Pushed new tag debian/1.0.2-5 [Git][ocaml-team/cmdliner] Pushed new tag archive/debian/1.3.0-2 [Git][ocaml-team/cmdliner] Pushed new tag debian/1.3.0-2 [Git][ocaml-team/cmdliner][master] 3 commits: Add support for a different OCaml stdlib dir [Git][ocaml-team/coinst] Pushed new tag archive/debian/1.9.3-6 [Git][ocaml-team/coinst] Pushed new tag debian/1.9.3-6 [Git][ocaml-team/coq] Pushed new tag archive/debian/8.19.1+dfsg-3 [Git][ocaml-team/coq] Pushed new tag debian/8.19.1+dfsg-3 [Git][ocaml-team/cothreads] Pushed new tag archive/debian/0.10-7 [Git][ocaml-team/cothreads] Pushed new tag debian/0.10-7 [Git][ocaml-team/cppo] Pushed new tag archive/debian/1.6.9-4 [Git][ocaml-team/cppo] Pushed new tag debian/1.6.9-4 [Git][ocaml-team/cppo][master] 3 commits: Add support for a different OCaml stdlib dir [Git][ocaml-team/cryptgps] Pushed new tag archive/debian/0.2.1-13 [Git][ocaml-team/cryptgps] Pushed new tag debian/0.2.1-13 [Git][ocaml-team/cudf] Pushed new tag archive/debian/0.10-5 [Git][ocaml-team/cudf] Pushed new tag debian/0.10-5 [Git][ocaml-team/dh-ocaml] Pushed new tag archive/debian/2.2 [Git][ocaml-team/dh-ocaml] Pushed new tag debian/2.2 [Git][ocaml-team/dh-ocaml][master] 3 commits: Add support for a different OCaml stdlib dir [Git][ocaml-team/fieldslib] Pushed new tag archive/debian/1%0.17.0-1 [Git][ocaml-team/fieldslib] Pushed new tag debian/1%0.17.0-1 [Git][ocaml-team/fieldslib] Pushed new tag upstream/0.17.0 [Git][ocaml-team/fieldslib][master] 5 commits: New upstream version 0.17.0 [Git][ocaml-team/fieldslib][pristine-tar] pristine-tar data for fieldslib_0.17.0.orig.tar.gz [Git][ocaml-team/fieldslib][upstream] New upstream version 0.17.0 [Git][ocaml-team/findlib] Pushed new tag archive/debian/1.9.6-3 [Git][ocaml-team/findlib] Pushed new tag debian/1.9.6-3 [Git][ocaml-team/findlib][master] 3 commits: Remove .PHONY rules [Git][ocaml-team/findlib][master] Prepare upload to unstable [Git][ocaml-team/gd4o] Pushed new tag archive/debian/1.0_alpha5.git20220521.bb52fb2-2 [Git][ocaml-team/gd4o] Pushed new tag debian/1.0_alpha5.git20220521.bb52fb2-2 [Git][ocaml-team/lablgl] Pushed new tag archive/debian/1%1.07-2 [Git][ocaml-team/lablgl] Pushed new tag debian/1%1.07-2 [Git][ocaml-team/ledit] Pushed new tag archive/debian/2.04-8 [Git][ocaml-team/ledit] Pushed new tag debian/2.04-8 [Git][ocaml-team/menhir] Pushed new tag archive/debian/20231231+ds-2 [Git][ocaml-team/menhir] Pushed new tag archive/debian/20240715+ds-1 [Git][ocaml-team/menhir] Pushed new tag debian/20231231+ds-2 [Git][ocaml-team/menhir] Pushed new tag debian/20240715+ds-1 [Git][ocaml-team/menhir] Pushed new tag upstream/20240715+ds [Git][ocaml-team/menhir][master] 4 commits: Add support for a different OCaml stdlib dir [Git][ocaml-team/menhir][pristine-tar] pristine-tar data for menhir_20240715+ds.orig.tar.xz [Git][ocaml-team/mlpcap] Pushed new tag archive/debian/0.9-22 [Git][ocaml-team/mlpcap] Pushed new tag debian/0.9-22 [Git][ocaml-team/morbig] Pushed new tag archive/debian/0.11.0-2 [Git][ocaml-team/morbig] Pushed new tag archive/debian/0.11.0-3 [Git][ocaml-team/morbig] Pushed new tag debian/0.11.0-2 [Git][ocaml-team/morbig] Pushed new tag debian/0.11.0-3 [Git][ocaml-team/morbig][master] 2 commits: Test api-c requires ocaml-native-compilers [Git][ocaml-team/morbig][master] 3 commits: Do not hardcode /usr/lib/ocaml [Git][ocaml-team/nproc] Pushed new tag archive/debian/0.5.1-5 [Git][ocaml-team/nproc] Pushed new tag debian/0.5.1-5 [Git][ocaml-team/ocaml-atd] Pushed new tag archive/debian/2.15.0-2 [Git][ocaml-team/ocaml-atd] Pushed new tag debian/2.15.0-2 [Git][ocaml-team/ocaml-batteries] Pushed new tag archive/debian/3.8.0-2 [Git][ocaml-team/ocaml-batteries] Pushed new tag debian/3.8.0-2 [Git][ocaml-team/ocaml-batteries][master] 3 commits: Do not hardcode /usr/lib/ocaml [Git][ocaml-team/ocaml-cry] Pushed new tag archive/debian/1.0.3-3 [Git][ocaml-team/ocaml-cry] Pushed new tag debian/1.0.3-3 [Git][ocaml-team/ocaml-cry][master] 3 commits: Do not hardcode /usr/lib/ocaml [Git][ocaml-team/ocaml-ctypes] Pushed new tag archive/debian/0.23.0-1 [Git][ocaml-team/ocaml-ctypes] Pushed new tag debian/0.23.0-1 [Git][ocaml-team/ocaml-ctypes] Pushed new tag upstream/0.23.0 [Git][ocaml-team/ocaml-ctypes][master] 4 commits: New upstream version 0.23.0 [Git][ocaml-team/ocaml-ctypes][pristine-tar] pristine-tar data for ocaml-ctypes_0.23.0.orig.tar.gz [Git][ocaml-team/ocaml-ctypes][upstream] New upstream version 0.23.0 [Git][ocaml-team/ocaml-dune] Pushed new tag archive/debian/3.16.0-2 [Git][ocaml-team/ocaml-dune] Pushed new tag debian/3.16.0-2 [Git][ocaml-team/ocaml-dune][master] 3 commits: Add support for a different OCaml stdlib dir [Git][ocaml-team/ocaml-extunix] Pushed new tag archive/debian/0.4.1-5 [Git][ocaml-team/ocaml-extunix] Pushed new tag archive/debian/0.4.1-6 [Git][ocaml-team/ocaml-extunix] Pushed new tag archive/debian/0.4.1-7 [Git][ocaml-team/ocaml-extunix] Pushed new tag archive/debian/0.4.2-1 [Git][ocaml-team/ocaml-extunix] Pushed new tag debian/0.4.1-5 [Git][ocaml-team/ocaml-extunix] Pushed new tag debian/0.4.1-6 [Git][ocaml-team/ocaml-extunix] Pushed new tag debian/0.4.1-7 [Git][ocaml-team/ocaml-extunix] Pushed new tag debian/0.4.2-1 [Git][ocaml-team/ocaml-extunix] Pushed new tag upstream/0.4.2 [Git][ocaml-team/ocaml-extunix][master] 2 commits: Fix type of offset arguments to splice [Git][ocaml-team/ocaml-extunix][master] 2 commits: Make sure splice stub works on all architectures [Git][ocaml-team/ocaml-extunix][master] 7 commits: Update debian/watch [Git][ocaml-team/ocaml-extunix][pristine-tar] pristine-tar data for ocaml-extunix_0.4.2.orig.tar.bz2 [Git][ocaml-team/ocaml-gnuplot] Pushed new tag archive/debian/0.8.3-6 [Git][ocaml-team/ocaml-gnuplot] Pushed new tag debian/0.8.3-6 [Git][ocaml-team/ocaml-inifiles] Pushed new tag archive/debian/1.2-7 [Git][ocaml-team/ocaml-inifiles] Pushed new tag debian/1.2-7 [Git][ocaml-team/ocaml-inotify] Pushed new tag archive/debian/2.6-1 [Git][ocaml-team/ocaml-inotify] Pushed new tag debian/2.6-1 [Git][ocaml-team/ocaml-inotify] Pushed new tag upstream/2.6 [Git][ocaml-team/ocaml-inotify][pristine-tar] pristine-tar data for ocaml-inotify_2.6.orig.tar.bz2 [Git][ocaml-team/ocaml-lo] Pushed new branch debian/experimental [Git][ocaml-team/ocaml-lo] Pushed new tag debian/0.2.0.git20240724.0b43bdf-1_exp1 [Git][ocaml-team/ocaml-lo] Pushed new tag upstream/0.2.0.git20240724.0b43bdf [Git][ocaml-team/ocaml-lo][pristine-tar] pristine-tar data for ocaml-lo_0.2.0.git20240724.0b43bdf.orig.tar.xz [Git][ocaml-team/ocaml-magic] Pushed new tag archive/debian/0.7.3-7 [Git][ocaml-team/ocaml-magic] Pushed new tag debian/0.7.3-7 [Git][ocaml-team/ocaml-obuild] Pushed new tag archive/debian/0.1.11-2 [Git][ocaml-team/ocaml-obuild] Pushed new tag debian/0.1.11-2 [Git][ocaml-team/ocaml-reins] Pushed new tag archive/debian/0.1a-12 [Git][ocaml-team/ocaml-reins] Pushed new tag debian/0.1a-12 [Git][ocaml-team/ocaml-rope] Pushed new tag archive/debian/0.6.3-1 [Git][ocaml-team/ocaml-rope] Pushed new tag debian/0.6.3-1 [Git][ocaml-team/ocaml-rope] Pushed new tag upstream/0.6.3 [Git][ocaml-team/ocaml-rope][pristine-tar] pristine-tar data for ocaml-rope_0.6.3.orig.tar.bz2 [Git][ocaml-team/ocaml-sqlite3] Pushed new tag archive/debian/5.2.0-1 [Git][ocaml-team/ocaml-sqlite3] Pushed new tag debian/5.2.0-1 [Git][ocaml-team/ocaml-sqlite3] Pushed new tag upstream/5.2.0 [Git][ocaml-team/ocaml-sqlite3][master] 7 commits: Update debian/watch [Git][ocaml-team/ocaml-sqlite3][pristine-tar] pristine-tar data for ocaml-sqlite3_5.2.0.orig.tar.bz2 [Git][ocaml-team/ocaml-sqlite3][upstream] New upstream version 5.2.0 [Git][ocaml-team/ocaml-tools] Pushed new tag archive/debian/20120103-11 [Git][ocaml-team/ocaml-tools] Pushed new tag archive/debian/20120103-12 [Git][ocaml-team/ocaml-tools] Pushed new tag debian/20120103-11 [Git][ocaml-team/ocaml-tools] Pushed new tag debian/20120103-12 [Git][ocaml-team/ocaml-tools][master] Prepare upload to unstable [Git][ocaml-team/ocaml-zarith] Pushed new tag archive/debian/1.13-3 [Git][ocaml-team/ocaml-zarith] Pushed new tag archive/debian/1.14-1 [Git][ocaml-team/ocaml-zarith] Pushed new tag debian/1.13-3 [Git][ocaml-team/ocaml-zarith] Pushed new tag debian/1.14-1 [Git][ocaml-team/ocaml-zarith] Pushed new tag upstream/1.14 [Git][ocaml-team/ocaml-zarith][master] 3 commits: Add support for a different OCaml stdlib dir [Git][ocaml-team/ocaml-zarith][pristine-tar] pristine-tar data for ocaml-zarith_1.14.orig.tar.gz [Git][ocaml-team/ocaml] Pushed new tag archive/debian/5.2.0-1 [Git][ocaml-team/ocaml] Pushed new tag archive/debian/5.2.0-2 [Git][ocaml-team/ocaml] Pushed new tag archive/debian/5.2.0-3 [Git][ocaml-team/ocaml] Pushed new tag debian/5.2.0-1 [Git][ocaml-team/ocaml] Pushed new tag debian/5.2.0-2 [Git][ocaml-team/ocaml] Pushed new tag debian/5.2.0-3 [Git][ocaml-team/ocaml][debian/ocaml-5] 2 commits: Change OCaml stdlib dir to /usr/lib/<multiarch>/ocaml/<abi> [Git][ocaml-team/ocaml][debian/ocaml-5] Add bytes and bigarray compatibility packages [Git][ocaml-team/ocaml][debian/sid] 3 commits: Import upstream patch to fix coq-elpi ppc64el failure [Git][ocaml-team/ocaml][debian/sid] 44 commits: Create ocaml-5-specific experimental branches [Git][ocaml-team/ocaml][debian/sid] Add ocaml-base to Build-Conflicts [Git][ocaml-team/ocaml][upstream/sid] New upstream version 5.2.0 [Git][ocaml-team/ocamlagrep] Pushed new tag archive/debian/1.1-1 [Git][ocaml-team/ocamlagrep] Pushed new tag debian/1.1-1 [Git][ocaml-team/ocamlagrep] Pushed new tag upstream/1.1 [Git][ocaml-team/ocamlagrep][pristine-tar] pristine-tar data for ocamlagrep_1.1.orig.tar.gz [Git][ocaml-team/ocamlbuild] Pushed new tag archive/debian/0.15.0-2 [Git][ocaml-team/ocamlbuild] Pushed new tag debian/0.15.0-2 [Git][ocaml-team/ocamlbuild][master] 3 commits: Add support for a different OCaml stdlib dir [Git][ocaml-team/ocamlcreal] Pushed new tag archive/debian/0.7-8 [Git][ocaml-team/ocamlcreal] Pushed new tag debian/0.7-8 [Git][ocaml-team/ocamldap] Pushed new tag archive/debian/2.5.1-1 [Git][ocaml-team/ocamldap] Pushed new tag debian/2.5.1-1 [Git][ocaml-team/ocamldap] Pushed new tag upstream/2.5.1 [Git][ocaml-team/ocamldap][pristine-tar] pristine-tar data for ocamldap_2.5.1.orig.tar.gz [Git][ocaml-team/ocamldsort] Pushed new tag archive/debian/0.16.0-9 [Git][ocaml-team/ocamldsort] Pushed new tag debian/0.16.0-9 [Git][ocaml-team/ocamldsort][master] 3 commits: Refresh patches [Git][ocaml-team/ocamlgraph] Pushed new tag archive/debian/2.1.0-3 [Git][ocaml-team/ocamlgraph] Pushed new tag debian/2.1.0-3 [Git][ocaml-team/ocamlgraph][master] 3 commits: Add support for a different OCaml stdlib dir [Git][ocaml-team/ocamlnet] Pushed new tag archive/debian/4.1.9-6 [Git][ocaml-team/ocamlnet] Pushed new tag debian/4.1.9-6 [Git][ocaml-team/ocamlnet][master] 3 commits: Fix build with OCaml 5.2.0 [Git][ocaml-team/ocamlrss] Pushed new tag archive/debian/2.2.2-3 [Git][ocaml-team/ocamlrss] Pushed new tag debian/2.2.2-3 [Git][ocaml-team/opam-file-format] Pushed new tag archive/debian/2.1.6-2 [Git][ocaml-team/opam-file-format] Pushed new tag debian/2.1.6-2 [Git][ocaml-team/opam-file-format][master] 3 commits: Do not hardcode /usr/lib/ocaml [Git][ocaml-team/opam] Pushed new tag archive/debian/2.2.0-1 [Git][ocaml-team/opam] Pushed new tag archive/debian/2.2.0-2 [Git][ocaml-team/opam] Pushed new tag archive/debian/2.2.0-3 [Git][ocaml-team/opam] Pushed new tag archive/debian/2.2.0-4 [Git][ocaml-team/opam] Pushed new tag archive/debian/2.2.1-1 [Git][ocaml-team/opam] Pushed new tag debian/2.2.0-1 [Git][ocaml-team/opam] Pushed new tag debian/2.2.0-2 [Git][ocaml-team/opam] Pushed new tag debian/2.2.0-3 [Git][ocaml-team/opam] Pushed new tag debian/2.2.0-4 [Git][ocaml-team/opam] Pushed new tag debian/2.2.1-1 [Git][ocaml-team/opam] Pushed new tag upstream/2.2.1 [Git][ocaml-team/opam][master] 2 commits: Fix autopkgtest [Git][ocaml-team/opam][master] 2 commits: Test 4.14.1 switch in autopkgtest [Git][ocaml-team/opam][master] 5 commits: New upstream version 2.2.1 [Git][ocaml-team/opam][master] Prepare upload to unstable [Git][ocaml-team/opam][master] Update changelog and prepare upload to unstable [Git][ocaml-team/opam][pristine-tar] pristine-tar data for opam_2.2.1.orig.tar.gz [Git][ocaml-team/opam][upstream] New upstream version 2.2.1 [Git][ocaml-team/pagodacf] Pushed new tag archive/debian/0.10-8 [Git][ocaml-team/pagodacf] Pushed new tag debian/0.10-8 [Git][ocaml-team/perl4caml] Pushed new tag archive/debian/0.9.5-8 [Git][ocaml-team/perl4caml] Pushed new tag debian/0.9.5-8 [Git][ocaml-team/planets] Pushed new tag archive/debian/0.1.13-23 [Git][ocaml-team/planets] Pushed new tag debian/0.1.13-23 [Git][ocaml-team/ppx-deriving-yojson] Pushed new tag archive/debian/3.9.0-1 [Git][ocaml-team/ppx-deriving-yojson] Pushed new tag debian/3.9.0-1 [Git][ocaml-team/ppx-deriving-yojson] Pushed new tag upstream/3.9.0 [Git][ocaml-team/ppx-deriving-yojson][master] 5 commits: New upstream version 3.9.0 [Git][ocaml-team/ppx-deriving-yojson][pristine-tar] pristine-tar data for ppx-deriving-yojson_3.9.0.orig.tar.gz [Git][ocaml-team/ppx-deriving-yojson][upstream] New upstream version 3.9.0 [Git][ocaml-team/pxp] Pushed new tag archive/debian/1.2.9-4 [Git][ocaml-team/pxp] Pushed new tag debian/1.2.9-4 [Git][ocaml-team/sexplib310] Pushed new tag archive/debian/1%0.17.0-1 [Git][ocaml-team/sexplib310] Pushed new tag debian/1%0.17.0-1 [Git][ocaml-team/sexplib310] Pushed new tag upstream/0.17.0 [Git][ocaml-team/sexplib310][pristine-tar] pristine-tar data for sexplib310_0.17.0.orig.tar.gz [Git][ocaml-team/ssreflect] Pushed new tag archive/debian/2.2.0-2 [Git][ocaml-team/ssreflect] Pushed new tag debian/2.2.0-2 [Git][ocaml-team/ssreflect][master] 3 commits: Do not hardcode /usr/lib/ocaml [Git][ocaml-team/typerep] Pushed new tag archive/debian/1%0.17.0-1 [Git][ocaml-team/typerep] Pushed new tag debian/1%0.17.0-1 [Git][ocaml-team/typerep] Pushed new tag upstream/0.17.0 [Git][ocaml-team/typerep][pristine-tar] pristine-tar data for typerep_0.17.0.orig.tar.gz [Git][ocaml-team/variantslib] Pushed new tag archive/debian/1%0.17.0-1 [Git][ocaml-team/variantslib] Pushed new tag debian/1%0.17.0-1 [Git][ocaml-team/variantslib] Pushed new tag upstream/0.17.0 [Git][ocaml-team/variantslib][master] 5 commits: New upstream version 0.17.0 [Git][ocaml-team/variantslib][pristine-tar] pristine-tar data for variantslib_0.17.0.orig.tar.gz [Git][ocaml-team/variantslib][upstream] New upstream version 0.17.0 [Git][ocaml-team/why3] Pushed new tag archive/debian/1.7.2-2 [Git][ocaml-team/why3] Pushed new tag debian/1.7.2-1 [Git][ocaml-team/why3] Pushed new tag debian/1.7.2-2 [Git][ocaml-team/why3] Pushed new tag upstream/1.7.1 [Git][ocaml-team/why3] Pushed new tag upstream/1.7.2 [Git][ocaml-team/why3][master] 2 commits: Do not hardcode /usr/lib/ocaml [Git][ocaml-team/why3][master] 3 commits: Depend on ocaml-native-compilers in tests for now [Git][ocaml-team/why3][master] d/watch: use gitlab tags [Git][ocaml-team/why3][pristine-tar] pristine-tar data for why3_1.7.2.orig.tar.bz2 [Git][ocaml-team/xstr] Pushed new tag archive/debian/0.2.1-25 [Git][ocaml-team/xstr] Pushed new tag debian/0.2.1-25 aac-tactics is marked for autoremoval from testing aac-tactics_8.19.1-2_source.changes ACCEPTED into unstable Accepted approx 5.13-1~bpo12+1 (source amd64) into stable-backports Accepted coq 8.19.1+dfsg-3 (source) into unstable advi is marked for autoremoval from testing advi_2.0.0-1_source.changes ACCEPTED into unstable advi_2.0.0-2_source.changes ACCEPTED into unstable advi_2.0.0-3_source.changes ACCEPTED into unstable advi_2.0.0-4_source.changes ACCEPTED into unstable approx_5.13-1~bpo12+1_amd64.changes ACCEPTED into stable-backports approx_5.13-1~bpo12+1_amd64.changes is NEW approx_5.13-1~bpo12+1_source.changes REJECTED belenios is marked for autoremoval from testing ben is marked for autoremoval from testing ben_1.7_source.changes ACCEPTED into unstable bin-prot_0.17.0-1_source.changes ACCEPTED into unstable bin-prot_0.17.0-2_source.changes ACCEPTED into unstable bisect-ppx_2.8.3+dfsg-2_source.changes ACCEPTED into unstable Bug#1038076: marked as done (ocamlsdl: Is a language binding for an obsolete version of SDL) Bug#1046405: marked as done (ocamlsdl: Fails to build source after successful build) Bug#1046969: marked as done (why3: Fails to build source after successful build) Bug#1066654: marked as done (mlpcap: FTBFS: utils.c:184:3: error: implicit declaration of function ‘camlidl_ml2c_pcap_pcap_handle’ [-Werror=implicit-function-declaration]) Bug#1073023: (No Subject) Bug#1073289: Bug#1073983: transition: ocaml Bug#1073289: Changing OCaml stdlib dir... Bug#1073289: marked as done (OCaml 5.2.0) Bug#1073872: marked as done (FTBFS with OCaml 5.2.0 (Uses String.unsafe_set)) Bug#1073873: marked as done (FTBFS with OCaml 5.2.0 (Uses String.lowercase)) Bug#1073874: marked as done (FTBFS with OCaml 5.2.0 (Uses .[] instead of Bytes.set)) Bug#1073875: marked as done (FTBFS with OCaml 5.2.0 (Missing dependency on libfindlib-ocaml for bigarray)) Bug#1073876: marked as done (FTBFS with OCaml 5.2.0 (Needs event.mli)) Bug#1073877: marked as done (FTBFS with OCaml 5.2.0 (Uses .[] instead of Bytes.set)) Bug#1073879: marked as done (FTBFS with OCaml 5.2.0 (Missing dependency on libfindlib-ocaml for bigarray)) Bug#1073880: marked as done (FTBFS with OCaml 5.2.0 (C stubs use OCaml functions without caml_ prefix)) Bug#1073883: marked as done (FTBFS with OCaml 5.2.0 (Uses C functions without caml_ prefix)) Bug#1073884: marked as done (FTBFS with OCaml 5.2.0 (Missing dependency on camlp-streams)) Bug#1073887: marked as done (FTBFS with OCaml 5.2.0 (Uses C functions without caml_ prefix)) Bug#1073888: marked as done (FTBFS with OCaml 5.2.0 (Missing dependency on camlp-streams)) Bug#1073889: marked as done (FTBFS with OCaml 5.2.0 (Uses C functions without caml_ prefix)) Bug#1073890: marked as done (FTBFS with OCaml 5.2.0 (Uses Pervasives instead of Stdlib)) Bug#1073893: marked as done (FTBFS with OCaml 5.2.0 (Missing dependency on camlp-streams)) Bug#1073895: marked as done (FTBFS with OCaml 5.2.0 (Uses .[] instead of Bytes.set)) Bug#1073896: marked as done (FTBFS with OCaml 5.2.0 (Missing dependency on camlp-streams)) Bug#1073897: marked as done (FTBFS with OCaml 5.2.0 (C stubs uses OCaml functions without caml_ prefix)) Bug#1073898: marked as done (FTBFS with OCaml 5.2.0 (Uses String.capitalize)) Bug#1073899: marked as done (FTBFS with OCaml 5.2.0 (Configure script misdetects unix)) Bug#1073900: marked as done (FTBFS with OCaml 5.2.0 (Uses .[] instead of Bytes.set)) Bug#1073901: marked as done (FTBFS with OCaml 5.2.0 (Uses Pervasives instead of Stdlib)) Bug#1073902: marked as done (FTBFS with OCaml 5.2.0 (Uses Pervasives)) Bug#1073904: marked as done (FTBFS with OCaml 5.2.0 (Uses String.capitalize)) Bug#1073905: marked as done (FTBFS with OCaml 5.2.0 (Uses C functions without caml_ prefix)) Bug#1073907: marked as done (FTBFS with OCaml 5.2.0 (Uses String.lowercase)) Bug#1073908: marked as done (FTBFS with OCaml 5.2.0 (Uses String.create)) Bug#1073909: marked as done (FTBFS with OCaml 5.2.0 (Uses obsolete (&) operator)) Bug#1073912: marked as done (FTBFS with OCaml 5.2.0 (Missing dependency on libcamlp-streams-ocaml-dev)) Bug#1073914: marked as done (FTBFS with OCaml 5.2.0 (Uses .[] instead of Bytes.set)) Re: Bug#1073983: transition: ocaml Bug#1075125: marked as done (lablgl: ftbfs with GCC-14) Bug#1075329: marked as done (ocaml-lo: ftbfs with GCC-14) Bug#1075378: marked as done (perl4caml: ftbfs with GCC-14) Bug#1075378: perl4caml: ftbfs with GCC-14 Bug#1078051: Removed package(s) from unstable Bug#1078051: RM: ocamlsdl -- ROM; obsolete Bug#1078218: marked as done (ocaml-extunix FTBFS on 32-bit with gcc 14) Bug#1078218: ocaml-extunix FTBFS on 32-bit with gcc 14 Bug#1078222: cudf FTBFS on armel/m68k/powerpc/sh4: undefined reference to `__atomic_* Bug#1078222: marked as done (cudf FTBFS on armel/m68k/powerpc/sh4: undefined reference to `__atomic_*) Bug#1078226: ben no longer finds its templates after OCaml 5.2.0 binNMU Bug#1078226: marked as done (ben no longer finds its templates after OCaml 5.2.0 binNMU) Bug#1078246: calendar FTBFS: ERROR: File "calendarLib.cmt": not an implementation Bug#1078246: marked as done (calendar FTBFS: ERROR: File "calendarLib.cmt": not an implementation) Bug#1078252: Removed package(s) from unstable Bug#1078252: RM: coq and many others [armhf i386] -- ROM; NBS; armhf and i386 are no longer native Bug#1078259: marked as done (Should ocaml-odoc depend on ocaml-<version> ?) Bug#1078259: Should ocaml-odoc depend on ocaml-<version> ? Bug#1078266: Removed package(s) from unstable Bug#1078266: RM: pa-ounit -- ROM; FTBFS; deprecated Bug#1078383: ppx-tools: FTBFS: make: *** [debian/rules:7: binary] Error 25 Bug#1078409: camlimages: FTBFS: gifread.c:46:9: error: implicit declaration of function ‘alloc_small’; did you mean ‘caml_alloc_small’? [-Wimplicit-function-declaration] Bug#1078409: marked as done (camlimages: FTBFS: gifread.c:46:9: error: implicit declaration of function ‘alloc_small’; did you mean ‘caml_alloc_small’? [-Wimplicit-function-declaration]) Bug#1078549: FTBFS with OCaml 5.2.0 on ppc64el Bug#1078549: marked as done (FTBFS with OCaml 5.2.0 on ppc64el) Bug#1078561: lintian: false postive ocaml-dev-file-not-in-usr-lib-ocaml Bug#1078578: RM: coq-elpi and others [ppc64el] -- ROM; FTBFS Bug#1078675: ITP: ocaml-digestif -- hashes implementations Bug#1078789: ITP: ocaml-ohex -- OCaml library for hexadecimal encoding and decoding Bug#1078941: Requires ocamlopt Bug#1079269: ITP: ocaml-intrinsics-kernel -- a library of intrinsics for OCaml Bug#1079313: bullseye-pu: package mlpost/0.8.2-4+deb11u1 Bug#1079417: lablgtk3: please migrate from deprecated gtksourceview3 to gtksourceview4 (or 5) Bug#1079429: why3: please migrate from deprecated gtksourceview3 to gtksourceview4 (or 5) Bug#1079430: coqide: please migrate from deprecated gtksourceview3 to gtksourceview4 (or 5) Bug#1079431: laby: please migrate from deprecated gtksourceview3 to gtksourceview4 (or 5) Bug#1079432: frama-c-base: please migrate from deprecated gtksourceview3 to gtksourceview4 (or 5) Bug#1080119: ocaml-merlin: FTBFS: Error (alert deprecated): G.Lr1.reductions Bug#670868: marked as done (create_RGB_surface ignores flags) Bug#670869: marked as done (Missing binding for SDL_ConvertSurface) Bug#716871: marked as done (Sdlevent.MOUSEBUTTONDOWN reports buttons 1-off causing segfaults on wheeldown) Bug#720690: marked as done (wrong mouse buttons in events) Bug#991060: marked as done (mlpost FTBFS with imagemagick with the #987504 change) Bug#991060: mlpost FTBFS with imagemagick with the #987504 change cairo-ocaml_1.2.0-10_source.changes ACCEPTED into unstable camlbz2 is marked for autoremoval from testing camlbz2_0.8.0-2_source.changes ACCEPTED into unstable camlimages is marked for autoremoval from testing camlimages_5.0.5-1_source.changes ACCEPTED into unstable camljava_0.4-2_source.changes ACCEPTED into unstable camlp4_5.2+1-1_source.changes ACCEPTED into unstable camlp5 is marked for autoremoval from testing camlp5-buildscripts is marked for autoremoval from testing camlpdf_2.7-2_source.changes ACCEPTED into unstable camlpdf_2.7.1-1_source.changes ACCEPTED into unstable camltemplate_1.0.2-5_source.changes ACCEPTED into unstable camomile is marked for autoremoval from testing cmdliner_1.3.0-2_source.changes ACCEPTED into unstable coinst is marked for autoremoval from testing coinst_1.9.3-6_source.changes ACCEPTED into unstable Comments regarding lem_2022-12-10+dfsg-1_amd64.changes coq is marked for autoremoval from testing coq REMOVED from testing coq-bignums is marked for autoremoval from testing coq-corn is marked for autoremoval from testing coq-deriving is marked for autoremoval from testing coq-deriving_0.2.0-3_source.changes ACCEPTED into unstable coq-dpdgraph is marked for autoremoval from testing coq-dpdgraph_1.0+8.19-2_source.changes ACCEPTED into unstable coq-elpi is marked for autoremoval from testing coq-equations is marked for autoremoval from testing coq-equations_1.3-8.19-2_source.changes ACCEPTED into unstable coq-ext-lib is marked for autoremoval from testing coq-ext-lib_0.12.1-2_source.changes ACCEPTED into unstable coq-extructures is marked for autoremoval from testing coq-extructures_0.4.0-4_source.changes ACCEPTED into unstable coq-gappa is marked for autoremoval from testing coq-gappa_1.5.5-2_source.changes ACCEPTED into unstable coq-hammer is marked for autoremoval from testing coq-hammer_1.3.2+8.19-2_source.changes ACCEPTED into unstable coq-hierarchy-builder is marked for autoremoval from testing coq-hierarchy-builder_1.7.0-2_source.changes ACCEPTED into unstable coq-hott is marked for autoremoval from testing coq-hott_8.19-2_source.changes ACCEPTED into unstable coq-interval is marked for autoremoval from testing coq-interval_4.11.0-2_source.changes ACCEPTED into unstable coq-iris is marked for autoremoval from testing coq-iris_4.2.0-3_source.changes ACCEPTED into unstable coq-libhyps is marked for autoremoval from testing coq-libhyps_2.0.8-4_source.changes ACCEPTED into unstable coq-math-classes is marked for autoremoval from testing coq-menhirlib is marked for autoremoval from testing coq-menhirlib_20231231+ds-4_source.changes ACCEPTED into unstable coq-mtac2 is marked for autoremoval from testing coq-mtac2_1.4+8.19-2_source.changes ACCEPTED into unstable coq-quickchick is marked for autoremoval from testing coq-quickchick_2.0.3-3_source.changes ACCEPTED into unstable coq-record-update is marked for autoremoval from testing coq-record-update_0.3.4-3_source.changes ACCEPTED into unstable coq-reduction-effects is marked for autoremoval from testing coq-reduction-effects_0.1.5-5_source.changes ACCEPTED into unstable coq-reglang is marked for autoremoval from testing coq-reglang_1.2.1-4_source.changes ACCEPTED into unstable coq-relation-algebra is marked for autoremoval from testing coq-relation-algebra_1.7.10-4_source.changes ACCEPTED into unstable coq-serapi is marked for autoremoval from testing coq-serapi_8.19.0+0.19.3-4_source.changes ACCEPTED into unstable coq-simple-io is marked for autoremoval from testing coq-simple-io_1.9.0-2_source.changes ACCEPTED into unstable coq-stdpp is marked for autoremoval from testing coq-stdpp_1.10.0-2_source.changes ACCEPTED into unstable coq-unicoq is marked for autoremoval from testing coq-unicoq_1.6-8.19-2_source.changes ACCEPTED into unstable coq-unimath is marked for autoremoval from testing coq-unimath_20240331-2_source.changes ACCEPTED into unstable coq_8.19.1+dfsg-3_source.changes ACCEPTED into unstable coqeal is marked for autoremoval from testing coqeal_2.0.2-2_source.changes ACCEPTED into unstable coqprime is marked for autoremoval from testing coqprime_8.19-2_source.changes ACCEPTED into unstable coquelicot is marked for autoremoval from testing coquelicot_3.4.1-3_source.changes ACCEPTED into unstable cothreads is marked for autoremoval from testing cothreads_0.10-7_source.changes ACCEPTED into unstable cppo_1.6.9-4_source.changes ACCEPTED into unstable crowbar is marked for autoremoval from testing crowbar_0.2.1-6_source.changes ACCEPTED into unstable cryptgps_0.2.1-13_source.changes ACCEPTED into unstable cudf is marked for autoremoval from testing cudf_0.10-5_source.changes ACCEPTED into unstable dh-ocaml_2.2_source.changes ACCEPTED into unstable dose3 is marked for autoremoval from testing eliom is marked for autoremoval from testing elpi_1.18.2-5_source.changes ACCEPTED into unstable fieldslib_0.17.0-1_source.changes ACCEPTED into unstable findlib_1.9.6-3_source.changes ACCEPTED into unstable flocq is marked for autoremoval from testing flocq_4.1.4-2_source.changes ACCEPTED into unstable frama-c is marked for autoremoval from testing headache is marked for autoremoval from testing help to fix test failed on hol-light (#1073882 also) hol-light is marked for autoremoval from testing janest-base_0.17.1-1_source.changes ACCEPTED into unstable js-of-ocaml is marked for autoremoval from testing js-of-ocaml-ocamlbuild is marked for autoremoval from testing The last update was on 05:00 GMT Sat Aug 31. There are 965 messages. Page 1 of 2.
<<
[previous month] 		|<
[first page] 		<
[previous page] 		Page 1 of 2
 >
[next page] 		>|
[last page] 		>>
[next month]

[Thread Index] [Subject Index] [Author Index] [Other Debian Lists] [Debian Home]
Mail converted by MHonArc