debian-ocaml-maint
Thread
Date
Earlier messages
Later messages
Messages by Thread
advi is marked for autoremoval from testing
Debian testing autoremoval watch
advi is marked for autoremoval from testing
Debian testing autoremoval watch
advi is marked for autoremoval from testing
Debian testing autoremoval watch
camlimages is marked for autoremoval from testing
Debian testing autoremoval watch
camlimages is marked for autoremoval from testing
Debian testing autoremoval watch
ocaml_5.2.0-2_source.changes ACCEPTED into unstable
Debian FTP Masters
[Git][ocaml-team/ocaml] Pushed new tag debian/5.2.0-2
@glondu
[Git][ocaml-team/ocaml] Pushed new tag archive/debian/5.2.0-2
@glondu
[Git][ocaml-team/ocaml][debian/sid] Add ocaml-base to Build-Conflicts
@glondu
ocaml-merlin is marked for autoremoval from testing
Debian testing autoremoval watch
ocaml-merlin is marked for autoremoval from testing
Debian testing autoremoval watch
xstr is marked for autoremoval from testing
Debian testing autoremoval watch
ocamlagrep is marked for autoremoval from testing
Debian testing autoremoval watch
ocaml-obuild is marked for autoremoval from testing
Debian testing autoremoval watch
ocaml-magic is marked for autoremoval from testing
Debian testing autoremoval watch
cothreads is marked for autoremoval from testing
Debian testing autoremoval watch
pagodacf is marked for autoremoval from testing
Debian testing autoremoval watch
ocaml-gnuplot is marked for autoremoval from testing
Debian testing autoremoval watch
ocaml-tools is marked for autoremoval from testing
Debian testing autoremoval watch
ocamlcreal is marked for autoremoval from testing
Debian testing autoremoval watch
ocaml-reins is marked for autoremoval from testing
Debian testing autoremoval watch
ocamldsort is marked for autoremoval from testing
Debian testing autoremoval watch
pa-ounit is marked for autoremoval from testing
Debian testing autoremoval watch
ocaml-inifiles is marked for autoremoval from testing
Debian testing autoremoval watch
hol-light is marked for autoremoval from testing
Debian testing autoremoval watch
nproc is marked for autoremoval from testing
Debian testing autoremoval watch
planets is marked for autoremoval from testing
Debian testing autoremoval watch
cothreads_0.10-7_source.changes ACCEPTED into unstable
Debian FTP Masters
Processing of cothreads_0.10-7_source.changes
Debian FTP Masters
[Git][ocaml-team/cothreads] Pushed new tag debian/0.10-7
@glondu
[Git][ocaml-team/cothreads] Pushed new tag archive/debian/0.10-7
@glondu
Processing of ocaml-tools_20120103-12_source.changes
Debian FTP Masters
Processing of cudf_0.10-5_source.changes
Debian FTP Masters
ocaml-tools_20120103-12_source.changes ACCEPTED into unstable
Debian FTP Masters
cudf_0.10-5_source.changes ACCEPTED into unstable
Debian FTP Masters
[Git][ocaml-team/ocaml-tools] Pushed new tag debian/20120103-12
@glondu
[Git][ocaml-team/ocaml-tools] Pushed new tag archive/debian/20120103-12
@glondu
[Git][ocaml-team/cudf] Pushed new tag debian/0.10-5
@glondu
[Git][ocaml-team/cudf] Pushed new tag archive/debian/0.10-5
@glondu
Processing of ben_1.7_source.changes
Debian FTP Masters
ben_1.7_source.changes ACCEPTED into unstable
Debian FTP Masters
Processing of ocaml-tools_20120103-11_source.changes
Debian FTP Masters
ocaml-tools_20120103-11_source.changes ACCEPTED into unstable
Debian FTP Masters
[Git][ocaml-team/ocaml-tools] Pushed new tag debian/20120103-11
@glondu
[Git][ocaml-team/ocaml-tools] Pushed new tag archive/debian/20120103-11
@glondu
[Git][ocaml-team/ocaml-tools][master] Prepare upload to unstable
@glondu
Bug#1078246: calendar FTBFS: ERROR: File "calendarLib.cmt": not an implementation
Adrian Bunk
Bug#1078246: marked as done (calendar FTBFS: ERROR: File "calendarLib.cmt": not an implementation)
Debian Bug Tracking System
ocaml-extunix_0.4.1-7_source.changes ACCEPTED into unstable
Debian FTP Masters
Processing of ocaml-extunix_0.4.1-7_source.changes
Debian FTP Masters
[Git][ocaml-team/ocaml-extunix] Pushed new tag debian/0.4.1-7
@glondu
[Git][ocaml-team/ocaml-extunix] Pushed new tag archive/debian/0.4.1-7
@glondu
[Git][ocaml-team/ocaml-extunix][master] 2 commits: Make sure splice stub works on all architectures
@glondu
Processing of ocaml-extunix_0.4.1-6_source.changes
Debian FTP Masters
ocaml-extunix_0.4.1-6_source.changes ACCEPTED into unstable
Debian FTP Masters
[Git][ocaml-team/ocaml-extunix] Pushed new tag debian/0.4.1-6
@glondu
[Git][ocaml-team/ocaml-extunix] Pushed new tag archive/debian/0.4.1-6
@glondu
[Git][ocaml-team/ocaml-extunix][master] 2 commits: Fix type of offset arguments to splice
@glondu
Bug#1078226: ben no longer finds its templates after OCaml 5.2.0 binNMU
Adrian Bunk
Processed: Bug#1078226 marked as pending in ben
Debian Bug Tracking System
Bug#1078226: marked as done (ben no longer finds its templates after OCaml 5.2.0 binNMU)
Debian Bug Tracking System
Processing of ocaml-extunix_0.4.1-5_source.changes
Debian FTP Masters
ocaml-extunix_0.4.1-5_source.changes ACCEPTED into unstable
Debian FTP Masters
[Git][ocaml-team/ocaml-extunix] Pushed new tag debian/0.4.1-5
@glondu
[Git][ocaml-team/ocaml-extunix] Pushed new tag archive/debian/0.4.1-5
@glondu
Bug#1078222: cudf FTBFS on armel/m68k/powerpc/sh4: undefined reference to `__atomic_*
Adrian Bunk
Processed: Bug#1078222 marked as pending in cudf
Debian Bug Tracking System
Bug#1078222: marked as done (cudf FTBFS on armel/m68k/powerpc/sh4: undefined reference to `__atomic_*)
Debian Bug Tracking System
Bug#1078218: ocaml-extunix FTBFS on 32-bit with gcc 14
Adrian Bunk
Processed: Bug#1078218 marked as pending in ocaml-extunix
Debian Bug Tracking System
Bug#1078218: marked as done (ocaml-extunix FTBFS on 32-bit with gcc 14)
Debian Bug Tracking System
Processing of bisect-ppx_2.8.3+dfsg-2_source.changes
Debian FTP Masters
bisect-ppx_2.8.3+dfsg-2_source.changes ACCEPTED into unstable
Debian FTP Masters
Processing of ocamlnet_4.1.9-6_source.changes
Debian FTP Masters
Processing of ocaml-merlin_5.1-502+ds-1_source.changes
Debian FTP Masters
[Git][ocaml-team/ocamlnet] Pushed new tag debian/4.1.9-6
@glondu
[Git][ocaml-team/ocamlnet] Pushed new tag archive/debian/4.1.9-6
@glondu
[Git][ocaml-team/ocamlnet][master] 3 commits: Fix build with OCaml 5.2.0
@glondu
ocamlnet_4.1.9-6_source.changes ACCEPTED into unstable
Debian FTP Masters
ocaml-merlin_5.1-502+ds-1_source.changes ACCEPTED into unstable
Debian FTP Masters
Processing of janest-ocaml-compiler-libs_0.17.0-1_source.changes
Debian FTP Masters
janest-ocaml-compiler-libs_0.17.0-1_source.changes ACCEPTED into unstable
Debian FTP Masters
Processing of camlp4_5.2+1-1_source.changes
Debian FTP Masters
camlp4_5.2+1-1_source.changes ACCEPTED into unstable
Debian FTP Masters
Processing of findlib_1.9.6-3_source.changes
Debian FTP Masters
[Git][ocaml-team/camlp4] Pushed new tag debian/5.2+1-1
@glondu
[Git][ocaml-team/camlp4] Pushed new tag archive/debian/5.2+1-1
@glondu
[Git][ocaml-team/camlp4] Pushed new tag upstream/5.2+1
@glondu
[Git][ocaml-team/camlp4][pristine-tar] pristine-tar data for camlp4_5.2+1.orig.tar.gz
@glondu
findlib_1.9.6-3_source.changes ACCEPTED into unstable
Debian FTP Masters
[Git][ocaml-team/findlib] Pushed new tag archive/debian/1.9.6-3
@glondu
[Git][ocaml-team/findlib] Pushed new tag debian/1.9.6-3
@glondu
[Git][ocaml-team/findlib][master] Prepare upload to unstable
@glondu
Processed: tagging 1075314, tagging 1073665, tagging 1073644, tagging 1073610, tagging 1075329 ...
Debian Bug Tracking System
ocaml_5.2.0-1_source.changes ACCEPTED into unstable
Debian FTP Masters
Processing of ocaml_5.2.0-1_source.changes
Debian FTP Masters
[Git][ocaml-team/ocaml][upstream/sid] New upstream version 5.2.0
@glondu
[Git][ocaml-team/ocaml] Pushed new tag debian/5.2.0-1
@glondu
[Git][ocaml-team/ocaml][debian/sid] 44 commits: Create ocaml-5-specific experimental branches
@glondu
[Git][ocaml-team/ocaml] Pushed new tag archive/debian/5.2.0-1
@glondu
Processed: OCaml 5.2.0 uploaded to unstable
Debian Bug Tracking System
lem_2022-12-10+dfsg-1_amd64.changes REJECTED
Sean Whitton
Re: lem_2022-12-10+dfsg-1_amd64.changes REJECTED
Bo YU
ocaml-rope_0.6.3-1_source.changes ACCEPTED into unstable
Debian FTP Masters
mlpcap_0.9-22_source.changes ACCEPTED into unstable
Debian FTP Masters
ledit_2.04-8_source.changes ACCEPTED into unstable
Debian FTP Masters
gd4o_1.0~alpha5.git20220521.bb52fb2-2_source.changes ACCEPTED into unstable
Debian FTP Masters
Processing of ocaml-rope_0.6.3-1_source.changes
Debian FTP Masters
[Git][ocaml-team/ocaml-rope] Pushed new tag upstream/0.6.3
@glondu
[Git][ocaml-team/ocaml-rope] Pushed new tag debian/0.6.3-1
@glondu
[Git][ocaml-team/ocaml-rope] Pushed new tag archive/debian/0.6.3-1
@glondu
[Git][ocaml-team/ocaml-rope][pristine-tar] pristine-tar data for ocaml-rope_0.6.3.orig.tar.bz2
@glondu
Processing of mlpcap_0.9-22_source.changes
Debian FTP Masters
[Git][ocaml-team/mlpcap] Pushed new tag debian/0.9-22
@glondu
[Git][ocaml-team/mlpcap] Pushed new tag archive/debian/0.9-22
@glondu
Processing of ledit_2.04-8_source.changes
Debian FTP Masters
[Git][ocaml-team/ledit] Pushed new tag debian/2.04-8
@glondu
[Git][ocaml-team/ledit] Pushed new tag archive/debian/2.04-8
@glondu
Processing of gd4o_1.0~alpha5.git20220521.bb52fb2-2_source.changes
Debian FTP Masters
[Git][ocaml-team/gd4o] Pushed new tag debian/1.0_alpha5.git20220521.bb52fb2-2
@glondu
[Git][ocaml-team/gd4o] Pushed new tag archive/debian/1.0_alpha5.git20220521.bb52fb2-2
@glondu
Processing of cryptgps_0.2.1-13_source.changes
Debian FTP Masters
cryptgps_0.2.1-13_source.changes ACCEPTED into unstable
Debian FTP Masters
[Git][ocaml-team/cryptgps] Pushed new tag debian/0.2.1-13
@glondu
[Git][ocaml-team/cryptgps] Pushed new tag archive/debian/0.2.1-13
@glondu
Processing of camltemplate_1.0.2-5_source.changes
Debian FTP Masters
[Git][ocaml-team/camltemplate] Pushed new tag debian/1.0.2-5
@glondu
[Git][ocaml-team/camltemplate] Pushed new tag archive/debian/1.0.2-5
@glondu
camltemplate_1.0.2-5_source.changes ACCEPTED into unstable
Debian FTP Masters
Processing of cairo-ocaml_1.2.0-10_source.changes
Debian FTP Masters
[Git][ocaml-team/cairo-ocaml] Pushed new tag debian/1%1.2.0-10
@glondu
[Git][ocaml-team/cairo-ocaml] Pushed new tag archive/debian/1%1.2.0-10
@glondu
cairo-ocaml_1.2.0-10_source.changes ACCEPTED into unstable
Debian FTP Masters
Processing of wyrd_1.7.1-2_source.changes
Debian FTP Masters
wyrd_1.7.1-2_source.changes ACCEPTED into unstable
Debian FTP Masters
Processing of lablgl_1.07-2_source.changes
Debian FTP Masters
lablgl_1.07-2_source.changes ACCEPTED into unstable
Debian FTP Masters
[Git][ocaml-team/lablgl] Pushed new tag debian/1%1.07-2
@glondu
[Git][ocaml-team/lablgl] Pushed new tag archive/debian/1%1.07-2
@glondu
Bug#1078051: RM: ocamlsdl -- ROM; obsolete
Stéphane Glondu
[Git][ocaml-team/ocaml][debian/ocaml-5] 2 commits: Change OCaml stdlib dir to /usr/lib/<multiarch>/ocaml/<abi>
@glondu
Processing of coinst_1.9.3-6_source.changes
Debian FTP Masters
Processing of ocaml-cry_1.0.3-3_source.changes
Debian FTP Masters
ocaml-cry_1.0.3-3_source.changes ACCEPTED into unstable
Debian FTP Masters
coinst_1.9.3-6_source.changes ACCEPTED into unstable
Debian FTP Masters
[Git][ocaml-team/ocaml][debian/ocaml-5] Add bytes and bigarray compatibility packages
@glondu
[Git][ocaml-team/findlib][master] 3 commits: Remove .PHONY rules
@glondu
[Git][ocaml-team/coinst] Pushed new tag debian/1.9.3-6
@glondu
[Git][ocaml-team/coinst] Pushed new tag archive/debian/1.9.3-6
@glondu
[Git][ocaml-team/ocaml-cry] Pushed new tag debian/1.0.3-3
@glondu
[Git][ocaml-team/ocaml-cry] Pushed new tag archive/debian/1.0.3-3
@glondu
[Git][ocaml-team/ocaml-cry][master] 3 commits: Do not hardcode /usr/lib/ocaml
@glondu
perl4caml_0.9.5-8_source.changes ACCEPTED into unstable
Debian FTP Masters
Processing of perl4caml_0.9.5-8_source.changes
Debian FTP Masters
[Git][ocaml-team/perl4caml] Pushed new tag debian/0.9.5-8
@glondu
[Git][ocaml-team/perl4caml] Pushed new tag archive/debian/0.9.5-8
@glondu
Processing of ocaml-lo_0.2.0.git20240724.0b43bdf-1~exp1_source.changes
Debian FTP Masters
ocaml-lo_0.2.0.git20240724.0b43bdf-1~exp1_source.changes ACCEPTED into experimental
Debian FTP Masters
[Git][ocaml-team/ocaml-lo][pristine-tar] pristine-tar data for ocaml-lo_0.2.0.git20240724.0b43bdf.orig.tar.xz
Kyle Robbertze (@paddatrapper)
[Git][ocaml-team/ocaml-lo] Pushed new branch debian/experimental
Kyle Robbertze (@paddatrapper)
[Git][ocaml-team/ocaml-lo] Pushed new tag upstream/0.2.0.git20240724.0b43bdf
Kyle Robbertze (@paddatrapper)
[Git][ocaml-team/ocaml-lo] Pushed new tag debian/0.2.0.git20240724.0b43bdf-1_exp1
Kyle Robbertze (@paddatrapper)
Processing of camljava_0.4-2_source.changes
Debian FTP Masters
[Git][ocaml-team/camljava] Pushed new tag debian/0.4-2
@glondu
[Git][ocaml-team/camljava] Pushed new tag archive/debian/0.4-2
@glondu
camljava_0.4-2_source.changes ACCEPTED into unstable
Debian FTP Masters
Processing of coquelicot_3.4.1-3_source.changes
Debian FTP Masters
Processing of coqeal_2.0.2-2_source.changes
Debian FTP Masters
Processing of coq-serapi_8.19.0+0.19.3-4_source.changes
Debian FTP Masters
Processing of coq-interval_4.11.0-2_source.changes
Debian FTP Masters
coquelicot_3.4.1-3_source.changes ACCEPTED into unstable
Debian FTP Masters
coqeal_2.0.2-2_source.changes ACCEPTED into unstable
Debian FTP Masters
coq-serapi_8.19.0+0.19.3-4_source.changes ACCEPTED into unstable
Debian FTP Masters
coq-interval_4.11.0-2_source.changes ACCEPTED into unstable
Debian FTP Masters
Processing of coq-deriving_0.2.0-3_source.changes
Debian FTP Masters
Processing of coq-extructures_0.4.0-4_source.changes
Debian FTP Masters
Processing of coq-quickchick_2.0.3-3_source.changes
Debian FTP Masters
Processing of coq-reglang_1.2.1-4_source.changes
Debian FTP Masters
Processing of coq-relation-algebra_1.7.10-4_source.changes
Debian FTP Masters
coq-relation-algebra_1.7.10-4_source.changes ACCEPTED into unstable
Debian FTP Masters
coq-reglang_1.2.1-4_source.changes ACCEPTED into unstable
Debian FTP Masters
coq-quickchick_2.0.3-3_source.changes ACCEPTED into unstable
Debian FTP Masters
coq-extructures_0.4.0-4_source.changes ACCEPTED into unstable
Debian FTP Masters
coq-deriving_0.2.0-3_source.changes ACCEPTED into unstable
Debian FTP Masters
Processing of coqprime_8.19-2_source.changes
Debian FTP Masters
Processing of coq-mtac2_1.4+8.19-2_source.changes
Debian FTP Masters
Processing of coq-gappa_1.5.5-2_source.changes
Debian FTP Masters
Processing of coq-equations_1.3-8.19-2_source.changes
Debian FTP Masters
Processing of coq-simple-io_1.9.0-2_source.changes
Debian FTP Masters
Processing of coq-iris_4.2.0-3_source.changes
Debian FTP Masters
coqprime_8.19-2_source.changes ACCEPTED into unstable
Debian FTP Masters
coq-simple-io_1.9.0-2_source.changes ACCEPTED into unstable
Debian FTP Masters
coq-mtac2_1.4+8.19-2_source.changes ACCEPTED into unstable
Debian FTP Masters
coq-iris_4.2.0-3_source.changes ACCEPTED into unstable
Debian FTP Masters
coq-gappa_1.5.5-2_source.changes ACCEPTED into unstable
Debian FTP Masters
coq-equations_1.3-8.19-2_source.changes ACCEPTED into unstable
Debian FTP Masters
Processing of coq-unimath_20240331-2_source.changes
Debian FTP Masters
coq-unimath_20240331-2_source.changes ACCEPTED into unstable
Debian FTP Masters
Processing of flocq_4.1.4-2_source.changes
Debian FTP Masters
Processing of paramcoq_1.1.3+coq8.19-2_source.changes
Debian FTP Masters
Earlier messages
Later messages