debian-ocaml-maint
Thread
Date
Earlier messages
Messages by Date
2024/07/26
Bug#1077093: marked as done (caml-mode: needs rebuild against dh-elpa >=2.1.5)
Debian Bug Tracking System
2024/07/26
Processing of caml-mode_4.9-4_source.changes
Debian FTP Masters
2024/07/26
caml-mode_4.9-4_source.changes ACCEPTED into unstable
Debian FTP Masters
2024/07/25
Bug#1077130: marked as done (tuareg-mode: needs rebuild against dh-elpa >=2.1.5)
Debian Bug Tracking System
2024/07/25
Processing of tuareg-mode_3.0.1-3_source.changes
Debian FTP Masters
2024/07/25
tuareg-mode_3.0.1-3_source.changes ACCEPTED into unstable
Debian FTP Masters
2024/07/25
[Git][ocaml-team/tuareg-mode] Pushed new tag debian/1%3.0.1-3
@glondu
2024/07/25
[Git][ocaml-team/tuareg-mode] Pushed new tag archive/debian/1%3.0.1-3
@glondu
2024/07/25
ssreflect is marked for autoremoval from testing
Debian testing autoremoval watch
2024/07/25
coq-bignums is marked for autoremoval from testing
Debian testing autoremoval watch
2024/07/25
coq is marked for autoremoval from testing
Debian testing autoremoval watch
2024/07/25
Processed: Bug#1077130 marked as pending in tuareg-mode
Debian Bug Tracking System
2024/07/25
coq-dpdgraph is marked for autoremoval from testing
Debian testing autoremoval watch
2024/07/25
coq-corn is marked for autoremoval from testing
Debian testing autoremoval watch
2024/07/25
coq-elpi is marked for autoremoval from testing
Debian testing autoremoval watch
2024/07/25
coq-deriving is marked for autoremoval from testing
Debian testing autoremoval watch
2024/07/25
coq-hammer is marked for autoremoval from testing
Debian testing autoremoval watch
2024/07/25
coq-gappa is marked for autoremoval from testing
Debian testing autoremoval watch
2024/07/25
coq-equations is marked for autoremoval from testing
Debian testing autoremoval watch
2024/07/25
coq-ext-lib is marked for autoremoval from testing
Debian testing autoremoval watch
2024/07/25
coq-extructures is marked for autoremoval from testing
Debian testing autoremoval watch
2024/07/25
coq-hierarchy-builder is marked for autoremoval from testing
Debian testing autoremoval watch
2024/07/25
coq-menhirlib is marked for autoremoval from testing
Debian testing autoremoval watch
2024/07/25
coq-interval is marked for autoremoval from testing
Debian testing autoremoval watch
2024/07/25
coq-hott is marked for autoremoval from testing
Debian testing autoremoval watch
2024/07/25
coq-libhyps is marked for autoremoval from testing
Debian testing autoremoval watch
2024/07/25
coq-iris is marked for autoremoval from testing
Debian testing autoremoval watch
2024/07/25
coq-math-classes is marked for autoremoval from testing
Debian testing autoremoval watch
2024/07/25
coq-record-update is marked for autoremoval from testing
Debian testing autoremoval watch
2024/07/25
coq-mtac2 is marked for autoremoval from testing
Debian testing autoremoval watch
2024/07/25
coq-serapi is marked for autoremoval from testing
Debian testing autoremoval watch
2024/07/25
coq-quickchick is marked for autoremoval from testing
Debian testing autoremoval watch
2024/07/25
coq-reglang is marked for autoremoval from testing
Debian testing autoremoval watch
2024/07/25
coq-unimath is marked for autoremoval from testing
Debian testing autoremoval watch
2024/07/25
coq-reduction-effects is marked for autoremoval from testing
Debian testing autoremoval watch
2024/07/25
coq-stdpp is marked for autoremoval from testing
Debian testing autoremoval watch
2024/07/25
coq-relation-algebra is marked for autoremoval from testing
Debian testing autoremoval watch
2024/07/25
coq-unicoq is marked for autoremoval from testing
Debian testing autoremoval watch
2024/07/25
coq-simple-io is marked for autoremoval from testing
Debian testing autoremoval watch
2024/07/25
coqeal is marked for autoremoval from testing
Debian testing autoremoval watch
2024/07/25
Bug#1075126: marked as done (lablgtk3: ftbfs with GCC-14)
Debian Bug Tracking System
2024/07/25
coqprime is marked for autoremoval from testing
Debian testing autoremoval watch
2024/07/25
coquelicot is marked for autoremoval from testing
Debian testing autoremoval watch
2024/07/25
unison-2.53 is marked for autoremoval from testing
Debian testing autoremoval watch
2024/07/25
flocq is marked for autoremoval from testing
Debian testing autoremoval watch
2024/07/25
ott is marked for autoremoval from testing
Debian testing autoremoval watch
2024/07/25
paramcoq is marked for autoremoval from testing
Debian testing autoremoval watch
2024/07/25
frama-c is marked for autoremoval from testing
Debian testing autoremoval watch
2024/07/25
ocaml-dssi is marked for autoremoval from testing
Debian testing autoremoval watch
2024/07/25
ocaml-gettext is marked for autoremoval from testing
Debian testing autoremoval watch
2024/07/25
meta-unison is marked for autoremoval from testing
Debian testing autoremoval watch
2024/07/25
meta-ocaml is marked for autoremoval from testing
Debian testing autoremoval watch
2024/07/25
mathcomp-zify is marked for autoremoval from testing
Debian testing autoremoval watch
2024/07/25
mathcomp-bigenough is marked for autoremoval from testing
Debian testing autoremoval watch
2024/07/25
mathcomp-real-closed is marked for autoremoval from testing
Debian testing autoremoval watch
2024/07/25
mathcomp-multinomials is marked for autoremoval from testing
Debian testing autoremoval watch
2024/07/25
mathcomp-finmap is marked for autoremoval from testing
Debian testing autoremoval watch
2024/07/25
mathcomp-algebra-tactics is marked for autoremoval from testing
Debian testing autoremoval watch
2024/07/25
mathcomp-analysis is marked for autoremoval from testing
Debian testing autoremoval watch
2024/07/25
lablgtk3 is marked for autoremoval from testing
Debian testing autoremoval watch
2024/07/25
laby is marked for autoremoval from testing
Debian testing autoremoval watch
2024/07/25
aac-tactics is marked for autoremoval from testing
Debian testing autoremoval watch
2024/07/25
why3 is marked for autoremoval from testing
Debian testing autoremoval watch
2024/07/25
lablgl is marked for autoremoval from testing
Debian testing autoremoval watch
2024/07/25
ocaml-lo is marked for autoremoval from testing
Debian testing autoremoval watch
2024/07/25
perl4caml is marked for autoremoval from testing
Debian testing autoremoval watch
2024/07/25
Bug#1077130: tuareg-mode: needs rebuild against dh-elpa >=2.1.5
spwhitton
2024/07/25
Bug#1077110: liquidsoap: needs rebuild against dh-elpa >=2.1.5
spwhitton
2024/07/25
Bug#1077093: caml-mode: needs rebuild against dh-elpa >=2.1.5
spwhitton
2024/07/25
Bug#1073289: Bug#1073983: transition: ocaml
Emilio Pozuelo Monfort
2024/07/22
[Git][ocaml-team/liquidsoap][master] Configure cache directory
Kyle Robbertze (@paddatrapper)
2024/07/22
[Git][ocaml-team/ocamlweb] Pushed new tag debian/1.41-8
Ralf Treinen (@treinen)
2024/07/22
Bug#1046168: marked as done (ocamlweb: Fails to build source after successful build)
Debian Bug Tracking System
2024/07/22
Processing of ocamlweb_1.41-8_source.changes
Debian FTP Masters
2024/07/22
ocamlweb_1.41-8_source.changes ACCEPTED into unstable
Debian FTP Masters
2024/07/20
Processing of camlzip_1.12-2_source.changes
Debian FTP Masters
2024/07/20
camlzip_1.12-2_source.changes ACCEPTED into unstable
Debian FTP Masters
2024/07/20
[Git][ocaml-team/camlzip] Pushed new tag debian/1.12-2
@glondu
2024/07/20
[Git][ocaml-team/camlzip] Pushed new tag archive/debian/1.12-2
@glondu
2024/07/20
[Git][ocaml-team/camlzip][master] 2 commits: Fix autopkgtest with OCaml 5.2.0
@glondu
2024/07/20
Bug#1076614: marked as done (libcamljava-ocaml-dev lost its OCaml Depends+Provides)
Debian Bug Tracking System
2024/07/20
camljava_0.4-1_source.changes ACCEPTED into unstable
Debian FTP Masters
2024/07/20
Processing of camljava_0.4-1_source.changes
Debian FTP Masters
2024/07/20
[Git][ocaml-team/camljava] Pushed new tag upstream/0.4
@glondu
2024/07/20
[Git][ocaml-team/camljava] Pushed new tag debian/0.4-1
@glondu
2024/07/20
[Git][ocaml-team/camljava] Pushed new tag archive/debian/0.4-1
@glondu
2024/07/20
[Git][ocaml-team/camljava][pristine-tar] pristine-tar data for camljava_0.4.orig.tar.gz
@glondu
2024/07/20
Processed: Bug#1076614 marked as pending in camljava
Debian Bug Tracking System
2024/07/20
Bug#1073289: Bug#1073983: transition: ocaml
Adrian Bunk
2024/07/19
Processing of opam-0install-cudf_0.4.3-1_amd64.changes
Debian FTP Masters
2024/07/19
opam-0install-cudf_0.4.3-1_amd64.changes is NEW
Debian FTP Masters
2024/07/19
0install-solver_2.18-1_amd64.changes ACCEPTED into unstable
Debian FTP Masters
2024/07/19
Bug#1076614: libcamljava-ocaml-dev lost its OCaml Depends+Provides
Adrian Bunk
2024/07/18
[bts-link] source package src:liquidsoap
debian-bts-link
2024/07/18
Bug#1073289: Bug#1073983: transition: ocaml
Stéphane Glondu
2024/07/17
Bug#1073289: Bug#1073983: transition: ocaml
Adrian Bunk
2024/07/17
ocaml-swhid-core_0.1-1_amd64.changes ACCEPTED into unstable
Debian FTP Masters
2024/07/17
ocaml-spdx-licenses_1.2.0-1_amd64.changes ACCEPTED into unstable
Debian FTP Masters
2024/07/17
Bug#1073289: Bug#1073983: transition: ocaml
Emilio Pozuelo Monfort
2024/07/16
[Git][ocaml-team/hlins] Pushed new tag upstream/0.40
Ralf Treinen (@treinen)
2024/07/16
[Git][ocaml-team/hlins] Pushed new tag debian/0.40-1
Ralf Treinen (@treinen)
2024/07/16
Bug#1073881: marked as done (FTBFS with OCaml 5.2.0 (Uses or binary operator))
Debian Bug Tracking System
2024/07/16
hlins_0.40-1_source.changes ACCEPTED into unstable
Debian FTP Masters
2024/07/16
Processing of hlins_0.40-1_source.changes
Debian FTP Masters
2024/07/16
[Git][ocaml-team/hlins][upstream] New upstream version 0.40
Ralf Treinen (@treinen)
2024/07/16
[Git][ocaml-team/hlins][pristine-tar] pristine-tar data for hlins_0.40.orig.tar.bz2
Ralf Treinen (@treinen)
2024/07/16
[Git][ocaml-team/hlins][master] 8 commits: remove one bogus file
Ralf Treinen (@treinen)
2024/07/16
Bug#1073289: Bug#1073983: transition: ocaml
Adrian Bunk
2024/07/16
Bug#1073289: Bug#1073983: transition: ocaml
Stéphane Glondu
2024/07/15
Processing of lem_2022-12-10+dfsg-1_amd64.changes
Debian FTP Masters
2024/07/15
lem_2022-12-10+dfsg-1_amd64.changes is NEW
Debian FTP Masters
2024/07/15
Bug#763462: marked as done (Package marked as bad although it is “uncompiled”)
Debian Bug Tracking System
2024/07/15
ben_1.5_source.changes ACCEPTED into unstable
Debian FTP Masters
2024/07/15
Processing of ben_1.5_source.changes
Debian FTP Masters
2024/07/15
ocaml-spdx-licenses_1.2.0-1_amd64.changes is NEW
Debian FTP Masters
2024/07/15
ocaml-swhid-core_0.1-1_amd64.changes is NEW
Debian FTP Masters
2024/07/15
Processing of ocaml-swhid-core_0.1-1_amd64.changes
Debian FTP Masters
2024/07/15
[Git][ocaml-team/opam][upstream] New upstream version 2.2.0
@glondu
2024/07/15
[Git][ocaml-team/opam][pristine-tar] pristine-tar data for opam_2.2.0.orig.tar.gz
@glondu
2024/07/15
[Git][ocaml-team/opam] Pushed new tag upstream/2.2.0
@glondu
2024/07/15
[Git][ocaml-team/opam][master] 6 commits: Merge branch 'upstream' into 'upstream'
@glondu
2024/07/15
Processing of ocaml-spdx-licenses_1.2.0-1_amd64.changes
Debian FTP Masters
2024/07/15
Bug#1076367: ITP: ocaml-swhid-core -- OCaml library to work with swhids
Stéphane Glondu
2024/07/15
Processing of 0install-solver_2.18-1_amd64.changes
Debian FTP Masters
2024/07/15
0install-solver_2.18-1_amd64.changes is NEW
Debian FTP Masters
2024/07/15
Bug#1076366: ITP: ocaml-spdx-licenses -- library providing a strict SPDX License Expression parser
Stéphane Glondu
2024/07/15
Bug#1076365: ITP: opam-0install-cudf -- Opam solver using 0install backend using the CUDF interface
Stéphane Glondu
2024/07/14
Bug#1076364: ITP: 0install-solver -- package dependency solver
Stéphane Glondu
2024/07/14
Re: opam package maintenance
Stéphane Glondu
2024/07/14
Processing of coccinelle_1.2.deb-1_source.changes
Debian FTP Masters
2024/07/14
[Git][ocaml-team/coccinelle] Pushed new tag upstream/1.2.deb
@glondu
2024/07/14
[Git][ocaml-team/coccinelle] Pushed new tag debian/1.2.deb-1
@glondu
2024/07/14
[Git][ocaml-team/coccinelle][upstream] New upstream version 1.2.deb
@glondu
2024/07/14
[Git][ocaml-team/coccinelle] Pushed new tag archive/debian/1.2.deb-1
@glondu
2024/07/14
[Git][ocaml-team/coccinelle][pristine-tar] pristine-tar data for coccinelle_1.2.deb.orig.tar.gz
@glondu
2024/07/14
[Git][ocaml-team/coccinelle][master] 6 commits: New upstream version 1.2.deb
@glondu
2024/07/14
coccinelle_1.2.deb-1_source.changes ACCEPTED into unstable
Debian FTP Masters
2024/07/14
Processed: limit source to hlins, tagging 1073881
Debian Bug Tracking System
2024/07/13
ocamlformat_0.26.2-1_amd64.changes ACCEPTED into unstable
Debian FTP Masters
2024/07/13
Processing of lablgtk3_3.1.5-1_source.changes
Debian FTP Masters
2024/07/13
lablgtk3_3.1.5-1_source.changes ACCEPTED into unstable
Debian FTP Masters
2024/07/13
ocaml-conduit_6.2.3-1_source.changes ACCEPTED into unstable
Debian FTP Masters
2024/07/13
Processing of ocaml-conduit_6.2.3-1_source.changes
Debian FTP Masters
2024/07/12
ocaml-qcheck_0.22-1_source.changes ACCEPTED into unstable
Debian FTP Masters
2024/07/12
Processing of ocaml-qcheck_0.22-1_source.changes
Debian FTP Masters
2024/07/12
Processing of cryptokit_1.20.1-1_source.changes
Debian FTP Masters
2024/07/12
[Git][ocaml-team/cryptokit][upstream] 2 commits: New upstream version 1.20
@glondu
2024/07/12
[Git][ocaml-team/cryptokit][pristine-tar] 2 commits: pristine-tar data for cryptokit_1.20.orig.tar.gz
@glondu
2024/07/12
[Git][ocaml-team/cryptokit][master] 7 commits: Update upstream source from tag 'upstream/1.20'
@glondu
2024/07/12
cryptokit_1.20.1-1_source.changes ACCEPTED into unstable
Debian FTP Masters
2024/07/12
opam package maintenance
Kate Deplaix
2024/07/12
ocamlbuild_0.15.0-1_source.changes ACCEPTED into unstable
Debian FTP Masters
2024/07/12
Processing of ocamlbuild_0.15.0-1_source.changes
Debian FTP Masters
2024/07/12
Processing of labltk_8.06.14-1_source.changes
Debian FTP Masters
2024/07/12
[Git][ocaml-team/ocamlbuild] Pushed new tag upstream/0.15.0
@glondu
2024/07/12
[Git][ocaml-team/ocamlbuild] Pushed new tag debian/0.15.0-1
@glondu
2024/07/12
[Git][ocaml-team/ocamlbuild] Pushed new tag archive/debian/0.15.0-1
@glondu
2024/07/12
[Git][ocaml-team/ocamlbuild][upstream] New upstream version 0.15.0
@glondu
2024/07/12
[Git][ocaml-team/ocamlbuild][pristine-tar] pristine-tar data for ocamlbuild_0.15.0.orig.tar.gz
@glondu
2024/07/12
[Git][ocaml-team/ocamlbuild][master] 6 commits: Remove sign-tags from debian/gbp.conf
@glondu
2024/07/12
[Git][ocaml-team/labltk] Pushed new tag upstream/8.06.14
@glondu
2024/07/12
[Git][ocaml-team/labltk] Pushed new tag debian/8.06.14-1
@glondu
2024/07/12
Bug#1075127: marked as done (labltk: ftbfs with GCC-14)
Debian Bug Tracking System
2024/07/12
[Git][ocaml-team/labltk] Pushed new tag archive/debian/8.06.14-1
@glondu
2024/07/12
[Git][ocaml-team/labltk][pristine-tar] pristine-tar data for labltk_8.06.14.orig.tar.gz
@glondu
2024/07/12
ocaml-dune_3.16.0-1_source.changes ACCEPTED into unstable
Debian FTP Masters
2024/07/12
labltk_8.06.14-1_source.changes ACCEPTED into unstable
Debian FTP Masters
2024/07/12
camlzip_1.12-1_source.changes ACCEPTED into unstable
Debian FTP Masters
2024/07/12
Processing of camlzip_1.12-1_source.changes
Debian FTP Masters
2024/07/12
[Git][ocaml-team/camlzip] Pushed new tag upstream/1.12
@glondu
2024/07/12
[Git][ocaml-team/camlzip] Pushed new tag debian/1.12-1
@glondu
2024/07/12
[Git][ocaml-team/camlzip] Pushed new tag archive/debian/1.12-1
@glondu
2024/07/12
[Git][ocaml-team/camlzip][pristine-tar] pristine-tar data for camlzip_1.12.orig.tar.gz
@glondu
2024/07/12
Processing of ocaml-dune_3.16.0-1_source.changes
Debian FTP Masters
2024/07/12
[Git][ocaml-team/ocaml-dune] Pushed new tag upstream/3.16.0
@glondu
2024/07/12
[Git][ocaml-team/ocaml-dune] Pushed new tag debian/3.16.0-1
@glondu
2024/07/12
[Git][ocaml-team/ocaml-dune] Pushed new tag archive/debian/3.16.0-1
@glondu
2024/07/12
[Git][ocaml-team/ocaml-dune][upstream] New upstream version 3.16.0
@glondu
2024/07/12
[Git][ocaml-team/ocaml-dune][pristine-tar] pristine-tar data for ocaml-dune_3.16.0.orig.tar.bz2
@glondu
2024/07/12
[Git][ocaml-team/ocaml-dune][master] 4 commits: New upstream version 3.16.0
@glondu
2024/07/12
Processed: Re: Bug#729223: ben: provide state of the package in testing, too
Debian Bug Tracking System
2024/07/12
Bug#729223: ben: provide state of the package in testing, too
Stéphane Glondu
2024/07/12
Processing of ocamlformat_0.26.2-1_amd64.changes
Debian FTP Masters
2024/07/12
ocamlformat_0.26.2-1_amd64.changes is NEW
Debian FTP Masters
2024/07/11
ocaml-version_3.6.7-1_amd64.changes ACCEPTED into unstable
Debian FTP Masters
2024/07/11
[Git][ocaml-team/approx][master] 2 commits: Update d/changelog to close bug #884713
@glondu
2024/07/09
ocaml-luv is marked for autoremoval from testing
Debian testing autoremoval watch
2024/07/08
Bug#763462: Package marked as bad although it is “uncompiled”
Stéphane Glondu
2024/07/08
Processed: Bug#763462 marked as pending in ben
Debian Bug Tracking System
2024/07/07
Processing of ocaml-version_3.6.7-1_amd64.changes
Debian FTP Masters
2024/07/07
ocaml-version_3.6.7-1_amd64.changes is NEW
Debian FTP Masters
2024/07/07
Bug#884713: marked as done (approx: systemd's approx.socket should be configured to not have any trigger limit)
Debian Bug Tracking System
2024/07/07
Bug#1075935: ITP: ocaml-version -- handle OCaml compiler version strings
Stéphane Glondu
2024/07/07
Bug#1075934: ITP: ocamlformat -- auto-formatter for OCaml code
Stéphane Glondu
2024/07/06
Processing of ben_1.4_source.changes
Debian FTP Masters
2024/07/06
ben_1.4_source.changes ACCEPTED into unstable
Debian FTP Masters
2024/07/06
ben_1.3_source.changes ACCEPTED into unstable
Debian FTP Masters
2024/07/06
Processing of ben_1.3_source.changes
Debian FTP Masters
2024/07/06
ben_1.2_source.changes ACCEPTED into unstable
Debian FTP Masters
2024/07/06
Processing of ben_1.2_source.changes
Debian FTP Masters
Earlier messages