debian-ocaml-maint
Thread
Date
Earlier messages
Later messages
Messages by Date
2024/06/14
Processing of ocaml-dune_3.15.3-2_source.changes
Debian FTP Masters
2024/06/14
Processing of ocaml-cstruct_6.2.0-3_source.changes
Debian FTP Masters
2024/06/14
ocplib-endian_1.2-4_source.changes ACCEPTED into unstable
Debian FTP Masters
2024/06/14
ocaml-odoc_2.4.2-2_source.changes ACCEPTED into unstable
Debian FTP Masters
2024/06/14
ocaml-dune_3.15.3-2_source.changes ACCEPTED into unstable
Debian FTP Masters
2024/06/14
ocaml-cstruct_6.2.0-3_source.changes ACCEPTED into unstable
Debian FTP Masters
2024/06/14
Processing of coq_8.19.1+dfsg-2_source.changes
Debian FTP Masters
2024/06/14
[Git][ocaml-team/ocaml-dune] Pushed new tag debian/3.15.3-2
@glondu
2024/06/14
Bug#1073200: marked as done (ppx-expect: FTBFS in sid)
Debian Bug Tracking System
2024/06/14
[Git][ocaml-team/ocaml-dune] Pushed new tag archive/debian/3.15.3-2
@glondu
2024/06/14
Accepted coq 8.19.1+dfsg-2 (source) into unstable
Debian FTP Masters
2024/06/14
coq_8.19.1+dfsg-2_source.changes ACCEPTED into unstable
Debian FTP Masters
2024/06/14
[Git][ocaml-team/ocaml-dune][master] 3 commits: Build in release mode
@glondu
2024/06/14
Processing of ocamlbuild_0.14.3-2_source.changes
Debian FTP Masters
2024/06/14
Processing of ocaml-ansi-terminal_0.8.5-4_source.changes
Debian FTP Masters
2024/06/14
[Git][ocaml-team/coq] Pushed new tag debian/8.19.1+dfsg-2
@glondu
2024/06/14
[Git][ocaml-team/coq] Pushed new tag archive/debian/8.19.1+dfsg-2
@glondu
2024/06/14
[Git][ocaml-team/coq][master] Prepare upload to unstable
@glondu
2024/06/14
[Git][ocaml-team/ocamlbuild] Pushed new tag archive/debian/0.14.3-2
@glondu
2024/06/14
Processed: libcompiler-libs-ocaml-dev, libstdlib-ocaml and libstdlib-ocaml-dev have an undeclared file conflict
Debian Bug Tracking System
2024/06/14
Bug#1073243: libcompiler-libs-ocaml-dev, libstdlib-ocaml and libstdlib-ocaml-dev have an undeclared file conflict
Helmut Grohne
2024/06/14
[Git][ocaml-team/ocamlbuild] Pushed new tag debian/0.14.3-2
@glondu
2024/06/14
ocamlbuild_0.14.3-2_source.changes ACCEPTED into unstable
Debian FTP Masters
2024/06/14
ocaml-ansi-terminal_0.8.5-4_source.changes ACCEPTED into unstable
Debian FTP Masters
2024/06/14
ocaml-alcotest_1.7.0-4_source.changes ACCEPTED into unstable
Debian FTP Masters
2024/06/14
Processing of ocaml-alcotest_1.7.0-4_source.changes
Debian FTP Masters
2024/06/14
Processing of js-of-ocaml_5.8.2-2_source.changes
Debian FTP Masters
2024/06/14
js-of-ocaml_5.8.2-2_source.changes ACCEPTED into unstable
Debian FTP Masters
2024/06/14
[Git][ocaml-team/js-of-ocaml] Pushed new tag debian/5.8.2-2
@glondu
2024/06/14
[Git][ocaml-team/js-of-ocaml] Pushed new tag archive/debian/5.8.2-2
@glondu
2024/06/14
[Git][ocaml-team/js-of-ocaml][master] Prepare upload to unstable
@glondu
2024/06/14
Processing of dose3_7.0.0-5_source.changes
Debian FTP Masters
2024/06/14
Processing of biniou_1.2.2-4_source.changes
Debian FTP Masters
2024/06/14
Processing of camlmix_1.3.1-6_source.changes
Debian FTP Masters
2024/06/14
[Git][ocaml-team/dose3] Pushed new tag debian/7.0.0-5
@glondu
2024/06/14
[Git][ocaml-team/dose3] Pushed new tag archive/debian/7.0.0-5
@glondu
2024/06/14
[Git][ocaml-team/dose3][master] Prepare upload to unstable
@glondu
2024/06/14
dose3_7.0.0-5_source.changes ACCEPTED into unstable
Debian FTP Masters
2024/06/14
camlmix_1.3.1-6_source.changes ACCEPTED into unstable
Debian FTP Masters
2024/06/14
biniou_1.2.2-4_source.changes ACCEPTED into unstable
Debian FTP Masters
2024/06/14
Processing of findlib_1.9.6-2_source.changes
Debian FTP Masters
2024/06/14
Processing of dh-ocaml_2.1_source.changes
Debian FTP Masters
2024/06/14
[Git][ocaml-team/camlmix] Pushed new tag debian/1.3.1-6
@glondu
2024/06/14
[Git][ocaml-team/camlmix] Pushed new tag archive/debian/1.3.1-6
@glondu
2024/06/14
[Git][ocaml-team/camlmix][master] Prepare upload to unstable
@glondu
2024/06/14
Processing of ppx-expect_0.17.0-1_source.changes
Debian FTP Masters
2024/06/14
[Git][ocaml-team/findlib] Pushed new tag debian/1.9.6-2
@glondu
2024/06/14
[Git][ocaml-team/findlib] Pushed new tag archive/debian/1.9.6-2
@glondu
2024/06/14
[Git][ocaml-team/findlib][master] 3 commits: Fix build with OCaml 5.x
@glondu
2024/06/14
[Git][ocaml-team/dh-ocaml] Pushed new tag debian/2.1
@glondu
2024/06/14
[Git][ocaml-team/dh-ocaml] Pushed new tag archive/debian/2.1
@glondu
2024/06/14
[Git][ocaml-team/dh-ocaml][master] 3 commits: Cope with move of dynlink.cmxa in OCaml 5.2.0
@glondu
2024/06/14
ppx-expect_0.17.0-1_source.changes ACCEPTED into unstable
Debian FTP Masters
2024/06/14
findlib_1.9.6-2_source.changes ACCEPTED into unstable
Debian FTP Masters
2024/06/14
dh-ocaml_2.1_source.changes ACCEPTED into unstable
Debian FTP Masters
2024/06/14
[Git][ocaml-team/camlmix][master] 3 commits: Refresh patch
@glondu
2024/06/14
[Git][ocaml-team/coq][master] 2 commits: Call "dune build" with "--release" to avoid failure on warnings
@glondu
2024/06/14
[Git][ocaml-team/ocsigenserver][master] 2 commits: Do no longer Build-Depend on libocamlnet-ocaml-dev
@glondu
2024/06/14
[Git][ocaml-team/camlp5] Pushed new tag upstream/8.03.00
@glondu
2024/06/14
[Git][ocaml-team/camlp5][upstream] New upstream version 8.03.00
@glondu
2024/06/14
[Git][ocaml-team/camlp5][pristine-tar] pristine-tar data for camlp5_8.03.00.orig.tar.gz
@glondu
2024/06/14
[Git][ocaml-team/camlp5][master] 3 commits: New upstream version 8.03.00
@glondu
2024/06/14
Bug#1073200: ppx-expect: FTBFS in sid
Gianfranco Costamagna
2024/06/14
[Git][ocaml-team/dose3][master] 2 commits: Add camlp-streams to debGrep dependencies
@glondu
2024/06/14
[Git][ocaml-team/ocamlgraph][master] 2 commits: Build doc only on indep builds
@glondu
2024/06/14
[Git][ocaml-team/js-of-ocaml][master] 2 commits: Build doc only on indep builds
@glondu
2024/06/13
[Git][ocaml-team/biniou][master] 2 commits: Use camlp-streams in ocamldoc
@glondu
2024/06/13
ben_0.10.4_source.changes ACCEPTED into unstable
Debian FTP Masters
2024/06/13
Processing of ben_0.10.4_source.changes
Debian FTP Masters
2024/06/13
Bug#1073162: yojson-tools: missing Breaks+Replaces: libyojson-ocaml-dev (<< 2.2)
Andreas Beckmann
2024/06/13
Bug#877356: marked as pending in yojson
Johannes Schauer Marin Rodrigues
2024/06/13
Processing of ppx-cold_0.17.0-1_source.changes
Debian FTP Masters
2024/06/13
ppx-base_0.17.0-1_source.changes ACCEPTED into unstable
Debian FTP Masters
2024/06/13
Processing of ppx-inline-test_0.17.0-1_source.changes
Debian FTP Masters
2024/06/13
ppx-inline-test_0.17.0-1_source.changes ACCEPTED into unstable
Debian FTP Masters
2024/06/13
Processing of ppx-base_0.17.0-1_source.changes
Debian FTP Masters
2024/06/13
ppx-cold_0.17.0-1_source.changes ACCEPTED into unstable
Debian FTP Masters
2024/06/13
Processing of ocaml_5.2.0-1~exp1_source.changes
Debian FTP Masters
2024/06/13
ocaml_5.2.0-1~exp1_source.changes ACCEPTED into experimental
Debian FTP Masters
2024/06/13
[Git][ocaml-team/ocaml] Pushed new tag debian/5.2.0-1_exp1
@glondu
2024/06/13
[Git][ocaml-team/ocaml] Pushed new tag archive/debian/5.2.0-1_exp1
@glondu
2024/06/13
[Git][ocaml-team/ocaml][debian/ocaml-5] Restore upstream configure script
@glondu
2024/06/12
[Git][ocaml-team/ocaml][debian/ocaml-5] Prepare upload to experimental
@glondu
2024/06/12
ocaml-mad 0.5.3-1 MIGRATED to testing
Debian testing watch
2024/06/12
Processed: belenios: replace to-be-removed markdown build-dependency
Debian Bug Tracking System
2024/06/12
Bug#1073091: belenios: replace to-be-removed markdown build-dependency
Chris Hofstaedtler
2024/06/12
Bug#877356: marked as done (yojson: Please consider putting /usr/bin/ydump into its own binary package)
Debian Bug Tracking System
2024/06/12
yojson_2.2.1-1_amd64.changes ACCEPTED into unstable
Debian FTP Masters
2024/06/12
[Git][ocaml-team/ocaml] Pushed new tag upstream/5.2.0
@glondu
2024/06/12
[Git][ocaml-team/ocaml] Pushed new branch upstream/ocaml-5
@glondu
2024/06/12
[Git][ocaml-team/ocaml] Pushed new branch debian/ocaml-5
@glondu
2024/06/12
[Git][ocaml-team/ocaml][pristine-tar] pristine-tar data for ocaml_5.2.0.orig.tar.xz
@glondu
2024/06/12
Processing of jane-street-headers_0.17.0-1_source.changes
Debian FTP Masters
2024/06/12
jane-street-headers_0.17.0-1_source.changes ACCEPTED into unstable
Debian FTP Masters
2024/06/12
Processing of ocaml-time-now_0.17.0-1_source.changes
Debian FTP Masters
2024/06/12
ocaml-time-now_0.17.0-1_source.changes ACCEPTED into unstable
Debian FTP Masters
2024/06/11
Bug#1073023: ocaml-luv: autopkgtest regression: Version 3.15 of the dune language is not supported
Paul Gevers
2024/06/11
yojson_2.2.1-1_amd64.changes is NEW
Debian FTP Masters
2024/06/11
Processing of yojson_2.2.1-1_amd64.changes
Debian FTP Masters
2024/06/11
Processing of yojson_2.2.1-1_amd64.changes
Debian FTP Masters
2024/06/11
yojson_2.2.1-1_amd64.changes REJECTED
Debian FTP Masters
2024/06/11
yojson_2.2.1-1_source.changes REJECTED
Debian FTP Masters
2024/06/11
Processing of yojson_2.2.1-1_source.changes
Debian FTP Masters
2024/06/11
[Git][ocaml-team/yojson] Pushed new tag upstream/2.2.1
Julien Puydt (@jpuydt)
2024/06/11
[Git][ocaml-team/yojson] Pushed new tag debian/2.2.1-1
Julien Puydt (@jpuydt)
2024/06/11
[Git][ocaml-team/yojson][pristine-tar] pristine-tar data for yojson_2.2.1.orig.tar.gz
Julien Puydt (@jpuydt)
2024/06/11
[Git][ocaml-team/yojson][master] 6 commits: New upstream version 2.2.1
Julien Puydt (@jpuydt)
2024/06/11
Processed: Bug#877356 marked as pending in yojson
Debian Bug Tracking System
2024/06/10
[Git][ocaml-team/menhir][master] Fix debian/watch
Julien Puydt (@jpuydt)
2024/06/10
Processing of mathcomp-analysis_1.2.0-1_source.changes
Debian FTP Masters
2024/06/10
Processing of aac-tactics_8.19.1-1_source.changes
Debian FTP Masters
2024/06/10
mathcomp-analysis_1.2.0-1_source.changes ACCEPTED into unstable
Debian FTP Masters
2024/06/10
aac-tactics_8.19.1-1_source.changes ACCEPTED into unstable
Debian FTP Masters
2024/06/10
[Git][ocaml-team/aac-tactics] Pushed new tag upstream/8.19.1
Julien Puydt (@jpuydt)
2024/06/10
[Git][ocaml-team/aac-tactics] Pushed new tag debian/8.19.1-1
Julien Puydt (@jpuydt)
2024/06/10
[Git][ocaml-team/aac-tactics][pristine-tar] pristine-tar data for aac-tactics_8.19.1.orig.tar.gz
Julien Puydt (@jpuydt)
2024/06/10
Processing of coq-iris_4.2.0-2_source.changes
Debian FTP Masters
2024/06/10
coq-iris_4.2.0-2_source.changes ACCEPTED into unstable
Debian FTP Masters
2024/06/09
belenios is marked for autoremoval from testing
Debian testing autoremoval watch
2024/06/08
mathcomp-analysis is marked for autoremoval from testing
Debian testing autoremoval watch
2024/06/08
coq-hierarchy-builder is marked for autoremoval from testing
Debian testing autoremoval watch
2024/06/08
mathcomp-multinomials is marked for autoremoval from testing
Debian testing autoremoval watch
2024/06/08
mathcomp-bigenough is marked for autoremoval from testing
Debian testing autoremoval watch
2024/06/08
coq-libhyps is marked for autoremoval from testing
Debian testing autoremoval watch
2024/06/08
coq-record-update is marked for autoremoval from testing
Debian testing autoremoval watch
2024/06/08
coq-math-classes is marked for autoremoval from testing
Debian testing autoremoval watch
2024/06/08
coq-hott is marked for autoremoval from testing
Debian testing autoremoval watch
2024/06/08
mathcomp-algebra-tactics is marked for autoremoval from testing
Debian testing autoremoval watch
2024/06/08
flocq is marked for autoremoval from testing
Debian testing autoremoval watch
2024/06/08
coq-menhirlib is marked for autoremoval from testing
Debian testing autoremoval watch
2024/06/08
coq-reduction-effects is marked for autoremoval from testing
Debian testing autoremoval watch
2024/06/08
paramcoq is marked for autoremoval from testing
Debian testing autoremoval watch
2024/06/08
coq-simple-io is marked for autoremoval from testing
Debian testing autoremoval watch
2024/06/08
aac-tactics is marked for autoremoval from testing
Debian testing autoremoval watch
2024/06/08
ott is marked for autoremoval from testing
Debian testing autoremoval watch
2024/06/08
mathcomp-zify is marked for autoremoval from testing
Debian testing autoremoval watch
2024/06/08
coq-stdpp is marked for autoremoval from testing
Debian testing autoremoval watch
2024/06/08
ssreflect is marked for autoremoval from testing
Debian testing autoremoval watch
2024/06/08
coq-unimath is marked for autoremoval from testing
Debian testing autoremoval watch
2024/06/08
coq-unicoq is marked for autoremoval from testing
Debian testing autoremoval watch
2024/06/08
coq-dpdgraph is marked for autoremoval from testing
Debian testing autoremoval watch
2024/06/08
coqprime is marked for autoremoval from testing
Debian testing autoremoval watch
2024/06/08
coq-bignums is marked for autoremoval from testing
Debian testing autoremoval watch
2024/06/08
coqeal is marked for autoremoval from testing
Debian testing autoremoval watch
2024/06/08
coquelicot is marked for autoremoval from testing
Debian testing autoremoval watch
2024/06/08
coq-equations is marked for autoremoval from testing
Debian testing autoremoval watch
2024/06/08
coq-ext-lib is marked for autoremoval from testing
Debian testing autoremoval watch
2024/06/08
coq-elpi is marked for autoremoval from testing
Debian testing autoremoval watch
2024/06/08
mathcomp-finmap is marked for autoremoval from testing
Debian testing autoremoval watch
2024/06/08
coq-extructures is marked for autoremoval from testing
Debian testing autoremoval watch
2024/06/08
coq-corn is marked for autoremoval from testing
Debian testing autoremoval watch
2024/06/08
coq-mtac2 is marked for autoremoval from testing
Debian testing autoremoval watch
2024/06/08
mathcomp-real-closed is marked for autoremoval from testing
Debian testing autoremoval watch
2024/06/08
coq-hammer is marked for autoremoval from testing
Debian testing autoremoval watch
2024/06/08
coq-quickchick is marked for autoremoval from testing
Debian testing autoremoval watch
2024/06/08
coq-interval is marked for autoremoval from testing
Debian testing autoremoval watch
2024/06/08
coq-gappa is marked for autoremoval from testing
Debian testing autoremoval watch
2024/06/08
coq-iris is marked for autoremoval from testing
Debian testing autoremoval watch
2024/06/08
coq is marked for autoremoval from testing
Debian testing autoremoval watch
2024/06/08
coq-deriving is marked for autoremoval from testing
Debian testing autoremoval watch
2024/06/08
coq-reglang is marked for autoremoval from testing
Debian testing autoremoval watch
2024/06/08
coq-relation-algebra is marked for autoremoval from testing
Debian testing autoremoval watch
2024/06/08
Processing of coq-interval_4.11.0-1_source.changes
Debian FTP Masters
2024/06/08
coq-interval_4.11.0-1_source.changes ACCEPTED into unstable
Debian FTP Masters
2024/06/07
Processing of headache_1.08-2_source.changes
Debian FTP Masters
2024/06/07
headache_1.08-2_source.changes ACCEPTED into unstable
Debian FTP Masters
2024/06/07
[Git][ocaml-team/headache] Pushed new tag debian/1.08-2
@glondu
2024/06/07
[Git][ocaml-team/headache] Pushed new tag archive/debian/1.08-2
@glondu
2024/06/07
[Git][ocaml-team/headache][master] 2 commits: Fix autopkgtest
@glondu
2024/06/07
Processing of obus_1.2.5-1_source.changes
Debian FTP Masters
2024/06/07
Processing of ocaml-mad_0.5.3-1_source.changes
Debian FTP Masters
2024/06/07
[Git][ocaml-team/obus] Pushed new tag upstream/1.2.5
@glondu
2024/06/07
[Git][ocaml-team/obus] Pushed new tag debian/1.2.5-1
@glondu
2024/06/07
[Git][ocaml-team/obus] Pushed new tag archive/debian/1.2.5-1
@glondu
2024/06/07
[Git][ocaml-team/obus][pristine-tar] pristine-tar data for obus_1.2.5.orig.tar.gz
@glondu
2024/06/07
ocaml-mad_0.5.3-1_source.changes ACCEPTED into unstable
Debian FTP Masters
2024/06/07
Accepted ocaml-mad 0.5.3-1 (source) into unstable
Debian FTP Masters
2024/06/07
obus_1.2.5-1_source.changes ACCEPTED into unstable
Debian FTP Masters
2024/06/07
[Git][ocaml-team/ocaml-mad] Pushed new tag upstream/0.5.3
@glondu
2024/06/07
[Git][ocaml-team/ocaml-mad] Pushed new tag debian/0.5.3-1
@glondu
2024/06/07
[Git][ocaml-team/ocaml-mad] Pushed new tag archive/debian/0.5.3-1
@glondu
2024/06/07
[Git][ocaml-team/ocaml-mad][pristine-tar] pristine-tar data for ocaml-mad_0.5.3.orig.tar.gz
@glondu
2024/06/07
[Git][ocaml-team/camlpdf] Pushed new tag upstream/2.7
@glondu
2024/06/07
[Git][ocaml-team/camlpdf][pristine-tar] pristine-tar data for camlpdf_2.7.orig.tar.gz
@glondu
2024/06/07
[Git][ocaml-team/camlpdf] Pushed new tag debian/2.7-1
@glondu
2024/06/07
[Git][ocaml-team/camlpdf] Pushed new tag archive/debian/2.7-1
@glondu
2024/06/07
Processing of camlpdf_2.7-1_source.changes
Debian FTP Masters
2024/06/07
camlpdf_2.7-1_source.changes ACCEPTED into unstable
Debian FTP Masters
2024/06/07
Bug#958859: marked as done (approx update disabled because it can't be updated securely)
Debian Bug Tracking System
2024/06/07
Bug#1072672: marked as done (ppx-deriving: autopkgtest regression)
Debian Bug Tracking System
2024/06/07
ppx-deriving_6.0.2-2_source.changes ACCEPTED into unstable
Debian FTP Masters
2024/06/07
Processing of ppx-deriving_6.0.2-2_source.changes
Debian FTP Masters
2024/06/07
[Git][ocaml-team/ppx-deriving] Pushed new tag debian/6.0.2-2
@glondu
2024/06/07
[Git][ocaml-team/ppx-deriving] Pushed new tag archive/debian/6.0.2-2
@glondu
2024/06/07
Processing of ocplib-simplex_0.5.1-2_source.changes
Debian FTP Masters
2024/06/07
Processed: Bug#1072672 marked as pending in ppx-deriving
Debian Bug Tracking System
2024/06/07
Bug#1072668: marked as done (ocplib-simplex: autopkgtest failures (missing zarith))
Debian Bug Tracking System
2024/06/07
ocplib-simplex_0.5.1-2_source.changes ACCEPTED into unstable
Debian FTP Masters
2024/06/07
[Git][ocaml-team/ocplib-simplex] Pushed new tag debian/0.5.1-2
@glondu
2024/06/07
[Git][ocaml-team/ocplib-simplex] Pushed new tag archive/debian/0.5.1-2
@glondu
Earlier messages
Later messages