debian-ocaml-maint
Thread
Date
Earlier messages
Later messages
Messages by Date
2023/09/11
oasis_0.4.11-3_source.changes ACCEPTED into unstable
Debian FTP Masters
2023/09/11
morbig_0.10.4-7_source.changes ACCEPTED into unstable
Debian FTP Masters
2023/09/11
mlpcap_0.9-21_source.changes ACCEPTED into unstable
Debian FTP Masters
2023/09/11
mlgmp_20021123-22_source.changes ACCEPTED into unstable
Debian FTP Masters
2023/09/11
labltk_8.06.13-2_source.changes ACCEPTED into unstable
Debian FTP Masters
2023/09/11
janest-ocaml-compiler-libs_0.12.4-4_source.changes ACCEPTED into unstable
Debian FTP Masters
2023/09/11
cmdliner_1.2.0-2_source.changes ACCEPTED into unstable
Debian FTP Masters
2023/09/11
camlmix_1.3.1-5_source.changes ACCEPTED into unstable
Debian FTP Masters
2023/09/11
camlidl_1.11-2_source.changes ACCEPTED into unstable
Debian FTP Masters
2023/09/11
advi_1.10.2-10_source.changes ACCEPTED into unstable
Debian FTP Masters
2023/09/11
aac-tactics_8.17.0-3_source.changes ACCEPTED into unstable
Debian FTP Masters
2023/09/11
Processing of morbig_0.10.4-7_source.changes
Debian FTP Masters
2023/09/11
Processing of ocaml-csv_2.4-3_source.changes
Debian FTP Masters
2023/09/11
Processing of aac-tactics_8.17.0-3_source.changes
Debian FTP Masters
2023/09/11
Processing of ocamldsort_0.16.0-8_source.changes
Debian FTP Masters
2023/09/11
Processing of ocaml-charinfo-width_1.1.0-5_source.changes
Debian FTP Masters
2023/09/11
Processing of ocaml-angstrom_0.15.0-4_source.changes
Debian FTP Masters
2023/09/11
Processing of ocaml-curses_1.0.11-4_source.changes
Debian FTP Masters
2023/09/11
Processing of cmdliner_1.2.0-2_source.changes
Debian FTP Masters
2023/09/11
Processing of mlpcap_0.9-21_source.changes
Debian FTP Masters
2023/09/11
Processing of ocaml-csexp_1.5.2-4_source.changes
Debian FTP Masters
2023/09/11
Processing of camlmix_1.3.1-5_source.changes
Debian FTP Masters
2023/09/11
Processing of oasis_0.4.11-3_source.changes
Debian FTP Masters
2023/09/11
Processing of ocaml-duppy_0.9.2-5_source.changes
Debian FTP Masters
2023/09/11
Processing of ocaml-duration_0.2.1-4_source.changes
Debian FTP Masters
2023/09/11
Processing of labltk_8.06.13-2_source.changes
Debian FTP Masters
2023/09/11
Processing of advi_1.10.2-10_source.changes
Debian FTP Masters
2023/09/11
Processing of ocamldap_2.4.2-5_source.changes
Debian FTP Masters
2023/09/11
Processing of mlgmp_20021123-22_source.changes
Debian FTP Masters
2023/09/11
Processing of camlidl_1.11-2_source.changes
Debian FTP Masters
2023/09/11
Processing of janest-ocaml-compiler-libs_0.12.4-4_source.changes
Debian FTP Masters
2023/09/11
[Git][ocaml-team/aac-tactics] Pushed new tag archive/debian/8.17.0-3
@glondu
2023/09/11
[Git][ocaml-team/advi] Pushed new tag debian/1.10.2-10
@glondu
2023/09/11
[Git][ocaml-team/aac-tactics][master] Update changelog and prepare upload to unstable
@glondu
2023/09/11
[Git][ocaml-team/camlmix] Pushed new tag debian/1.3.1-5
@glondu
2023/09/11
[Git][ocaml-team/advi][master] Update changelog and prepare upload to unstable
@glondu
2023/09/11
[Git][ocaml-team/camlmix] Pushed new tag archive/debian/1.3.1-5
@glondu
2023/09/11
[Git][ocaml-team/camlmix][master] Update changelog and prepare upload to unstable
@glondu
2023/09/11
[Git][ocaml-team/mlpcap] Pushed new tag debian/0.9-21
@glondu
2023/09/11
[Git][ocaml-team/morbig] Pushed new tag debian/0.10.4-7
@glondu
2023/09/11
[Git][ocaml-team/morbig] Pushed new tag archive/debian/0.10.4-7
@glondu
2023/09/11
[Git][ocaml-team/oasis] Pushed new tag archive/debian/0.4.11-3
@glondu
2023/09/11
[Git][ocaml-team/mlpcap][master] Update changelog and prepare upload to unstable
@glondu
2023/09/11
[Git][ocaml-team/oasis][master] Update changelog and prepare upload to unstable
@glondu
2023/09/11
[Git][ocaml-team/ocaml-csv] Pushed new tag debian/2.4-3
@glondu
2023/09/11
[Git][ocaml-team/ocaml-duppy] Pushed new tag debian/0.9.2-5
@glondu
2023/09/11
[Git][ocaml-team/ocaml-duppy] Pushed new tag archive/debian/0.9.2-5
@glondu
2023/09/11
[Git][ocaml-team/ocamldsort] Pushed new tag debian/0.16.0-8
@glondu
2023/09/11
[Git][ocaml-team/ocamldsort] Pushed new tag archive/debian/0.16.0-8
@glondu
2023/09/09
ocaml-reins_0.1a-11_source.changes ACCEPTED into unstable
Debian FTP Masters
2023/09/09
ocaml-mirage-crypto_0.11.1-3_source.changes ACCEPTED into unstable
Debian FTP Masters
2023/09/09
ocaml-lastfm_0.3.3-4_source.changes ACCEPTED into unstable
Debian FTP Masters
2023/09/09
ocaml-ipaddr_5.5.0-3_source.changes ACCEPTED into unstable
Debian FTP Masters
2023/09/09
ocaml-gmap_0.3.0-4_source.changes ACCEPTED into unstable
Debian FTP Masters
2023/09/09
ocaml-atd_2.12.0-3_source.changes ACCEPTED into unstable
Debian FTP Masters
2023/09/09
approx_5.12-2_source.changes ACCEPTED into unstable
Debian FTP Masters
2023/09/09
Processing of ocaml-reins_0.1a-11_source.changes
Debian FTP Masters
2023/09/09
Processing of ocaml-ipaddr_5.5.0-3_source.changes
Debian FTP Masters
2023/09/09
Processing of ocaml-atd_2.12.0-3_source.changes
Debian FTP Masters
2023/09/09
Processing of ocaml-gmap_0.3.0-4_source.changes
Debian FTP Masters
2023/09/09
Processing of approx_5.12-2_source.changes
Debian FTP Masters
2023/09/09
Processing of ocaml-mirage-crypto_0.11.1-3_source.changes
Debian FTP Masters
2023/09/09
Processing of ocaml-lastfm_0.3.3-4_source.changes
Debian FTP Masters
2023/09/09
[Git][ocaml-team/approx] Pushed new tag archive/debian/5.12-2
@glondu
2023/09/09
[Git][ocaml-team/ocaml-atd] Pushed new tag archive/debian/2.12.0-3
@glondu
2023/09/09
[Git][ocaml-team/approx][master] Update changelog and prepare upload to unstable
@glondu
2023/09/09
[Git][ocaml-team/ocaml-reins] Pushed new tag debian/0.1a-11
@glondu
2023/09/09
tyxml_4.5.0-4_source.changes ACCEPTED into unstable
Debian FTP Masters
2023/09/09
ppx-deriving-yojson_3.7.0-4_source.changes ACCEPTED into unstable
Debian FTP Masters
2023/09/09
ppx-derivers_1.2.1-4_source.changes ACCEPTED into unstable
Debian FTP Masters
2023/09/09
ocamlweb_1.41-5_source.changes ACCEPTED into unstable
Debian FTP Masters
2023/09/09
ocaml-voaacenc_0.1.1-2_source.changes ACCEPTED into unstable
Debian FTP Masters
2023/09/09
ocaml-uunf_15.0.0-4_source.changes ACCEPTED into unstable
Debian FTP Masters
2023/09/09
ocaml-uri_4.2.0-3_source.changes ACCEPTED into unstable
Debian FTP Masters
2023/09/09
Accepted approx 5.12-2 (source) into unstable
Debian FTP Masters
2023/09/09
Processing of ocaml-voaacenc_0.1.1-2_source.changes
Debian FTP Masters
2023/09/09
Processing of ocaml-uunf_15.0.0-4_source.changes
Debian FTP Masters
2023/09/09
Processing of ocamlweb_1.41-5_source.changes
Debian FTP Masters
2023/09/09
Processing of ppx-derivers_1.2.1-4_source.changes
Debian FTP Masters
2023/09/09
Processing of tyxml_4.5.0-4_source.changes
Debian FTP Masters
2023/09/09
Processing of ppx-deriving-yojson_3.7.0-4_source.changes
Debian FTP Masters
2023/09/09
Processing of ocaml-uri_4.2.0-3_source.changes
Debian FTP Masters
2023/09/09
uuidm_0.9.8-2_source.changes ACCEPTED into unstable
Debian FTP Masters
2023/09/09
pagodacf_0.10-7_source.changes ACCEPTED into unstable
Debian FTP Masters
2023/09/09
ocamlgsl_1.24.3-5_source.changes ACCEPTED into unstable
Debian FTP Masters
2023/09/09
[Git][ocaml-team/ocaml-voaacenc] Pushed new tag debian/0.1.1-2
@glondu
2023/09/09
[Git][ocaml-team/ocaml-voaacenc] Pushed new tag archive/debian/0.1.1-2
@glondu
2023/09/09
[Git][ocaml-team/ppx-derivers] Pushed new tag debian/1.2.1-4
@glondu
2023/09/09
[Git][ocaml-team/ocaml-voaacenc][master] 2 commits: Bump Standards-Version to 4.6.2
@glondu
2023/09/09
[Git][ocaml-team/ppx-derivers] Pushed new tag archive/debian/1.2.1-4
@glondu
2023/09/09
[Git][ocaml-team/ppx-deriving-yojson] Pushed new tag archive/debian/3.7.0-4
@glondu
2023/09/09
ocaml-qtest_2.11.2-4_source.changes ACCEPTED into unstable
Debian FTP Masters
2023/09/09
[Git][ocaml-team/ocamlweb][master] Update changelog and prepare upload to unstable
@glondu
2023/09/09
ocaml-logs_0.7.0-3_source.changes ACCEPTED into unstable
Debian FTP Masters
2023/09/09
ocaml-conduit_6.2.0-3_source.changes ACCEPTED into unstable
Debian FTP Masters
2023/09/09
ocaml-bos_0.2.1-2_source.changes ACCEPTED into unstable
Debian FTP Masters
2023/09/09
Processing of ocamlgsl_1.24.3-5_source.changes
Debian FTP Masters
2023/09/09
Processing of ocaml-bos_0.2.1-2_source.changes
Debian FTP Masters
2023/09/09
Processing of ocaml-conduit_6.2.0-3_source.changes
Debian FTP Masters
2023/09/09
Processing of ocaml-logs_0.7.0-3_source.changes
Debian FTP Masters
2023/09/09
Processing of pagodacf_0.10-7_source.changes
Debian FTP Masters
2023/09/09
Processing of uuidm_0.9.8-2_source.changes
Debian FTP Masters
2023/09/09
Processing of ocaml-qtest_2.11.2-4_source.changes
Debian FTP Masters
2023/09/09
[Git][ocaml-team/pagodacf] Pushed new tag archive/debian/0.10-7
@glondu
2023/09/09
[Git][ocaml-team/ocamlgsl] Pushed new tag debian/1.24.3-5
@glondu
2023/09/09
[Git][ocaml-team/virt-top][pristine-tar] 2 commits: pristine-tar data for virt-top_1.1.0.orig.tar.gz
@glondu
2023/09/09
frama-c_20220511-manganese-5_source.changes ACCEPTED into unstable
Debian FTP Masters
2023/09/09
Processing of frama-c_20220511-manganese-5_source.changes
Debian FTP Masters
2023/09/09
[Git][ocaml-team/frama-c] Pushed new tag debian/20220511-manganese-5
@glondu
2023/09/09
Bug#1051485: marked as done (frama-c FTBFS with why3 1.6.0)
Debian Bug Tracking System
2023/09/08
Processed: Bug#1051485 marked as pending in frama-c
Debian Bug Tracking System
2023/09/08
Processed: frama-c: please update to v27.1 Cobalt
Debian Bug Tracking System
2023/09/08
Bug#1051524: frama-c: please update to v27.1 Cobalt
Stéphane Glondu
2023/09/08
ocaml-http is marked for autoremoval from testing
Debian testing autoremoval watch
2023/09/08
dose3_7.0.0-4_source.changes ACCEPTED into unstable
Debian FTP Masters
2023/09/08
Processing of dose3_7.0.0-4_source.changes
Debian FTP Masters
2023/09/08
[Git][ocaml-team/dose3] Pushed new tag debian/7.0.0-4
@glondu
2023/09/08
Bug#1051484: marked as done (dose3 FTBFS with ocamlgraph 2.0.0)
Debian Bug Tracking System
2023/09/08
Processed: Bug#1051484 marked as pending in dose3
Debian Bug Tracking System
2023/09/08
ledit_2.04-7_source.changes ACCEPTED into unstable
Debian FTP Masters
2023/09/08
Processing of ledit_2.04-7_source.changes
Debian FTP Masters
2023/09/08
Bug#1051475: marked as done (ledit: can't be built with arch:all+any)
Debian Bug Tracking System
2023/09/08
[Git][ocaml-team/ledit][master] 3 commits: Bump Standards-Version to 4.6.2
@glondu
2023/09/08
Processed: Bug#1051475 marked as pending in ledit
Debian Bug Tracking System
2023/09/08
Bug#1051485: frama-c FTBFS with why3 1.6.0
Adrian Bunk
2023/09/08
Bug#1051484: dose3 FTBFS with ocamlgraph 2.0.0
Adrian Bunk
2023/09/08
Bug#1051475: ledit: can't be built with arch:all+any
Stéphane Glondu
2023/09/08
Bug#1051475: ledit: can't be built with arch:all+any
Gianfranco Costamagna
2023/09/07
why3_1.6.0-1_source.changes ACCEPTED into unstable
Debian FTP Masters
2023/09/07
ocamlgraph_2.1.0-1_source.changes ACCEPTED into unstable
Debian FTP Masters
2023/09/07
ocaml-qcheck_0.21.2-1_source.changes ACCEPTED into unstable
Debian FTP Masters
2023/09/07
ocaml-pprint_20230830-1_source.changes ACCEPTED into unstable
Debian FTP Masters
2023/09/07
Processing of why3_1.6.0-1_source.changes
Debian FTP Masters
2023/09/07
[Git][ocaml-team/why3] Pushed new tag archive/debian/1.6.0-1
@glondu
2023/09/07
[Git][ocaml-team/why3][master] 5 commits: New upstream version 1.6.0
@glondu
2023/09/07
Processing of ocamlgraph_2.1.0-1_source.changes
Debian FTP Masters
2023/09/07
Processing of ocaml-qcheck_0.21.2-1_source.changes
Debian FTP Masters
2023/09/07
[Git][ocaml-team/ocamlgraph] Pushed new tag archive/debian/2.1.0-1
@glondu
2023/09/07
Processing of ocaml-pprint_20230830-1_source.changes
Debian FTP Masters
2023/09/07
ocsipersist is marked for autoremoval from testing
Debian testing autoremoval watch
2023/09/07
ocaml-duppy is marked for autoremoval from testing
Debian testing autoremoval watch
2023/09/07
ocamldap is marked for autoremoval from testing
Debian testing autoremoval watch
2023/09/07
ocaml-lastfm is marked for autoremoval from testing
Debian testing autoremoval watch
2023/09/07
not-ocamlfind_0.11+dfsg-1_source.changes ACCEPTED into unstable
Debian FTP Masters
2023/09/07
pcre2-ocaml_7.5.2-1_source.changes ACCEPTED into unstable
Debian FTP Masters
2023/09/07
Processing of not-ocamlfind_0.11+dfsg-1_source.changes
Debian FTP Masters
2023/09/07
Processing of pcre2-ocaml_7.5.2-1_source.changes
Debian FTP Masters
2023/09/07
Bug#1051440: RM: lablgtk2 -- ROM; depends on obsolete library
Stéphane Glondu
2023/09/07
Processed: retitle 1050381 to RM: unison-2.52 -- ROM; depends on obsolete library; newer compatible version available ...
Debian Bug Tracking System
2023/09/07
Bug#1050381: Bug#1041789: RM: unison-2.51+4.13.1 -- RoQA; newer version packaged
Bastian Germann
2023/09/06
hol-light_20230128-2_source.changes ACCEPTED into unstable
Debian FTP Masters
2023/09/06
Processing of hol-light_20230128-2_source.changes
Debian FTP Masters
2023/09/06
[Git][ocaml-team/hol-light] Pushed new tag debian/20230128-2
@glondu
2023/09/06
Bug#1051377: RM: ulex0.8 -- ROM; no more rdeps; FTBFS
Stéphane Glondu
2023/09/06
coccinelle_1.1.1.deb-4.1_source.changes REJECTED
Debian FTP Masters
2023/09/06
belenios_2.2+git10-gbb6b7ea8+dfsg-1_source.changes ACCEPTED into unstable
Debian FTP Masters
2023/09/06
Processing of belenios_2.2+git10-gbb6b7ea8+dfsg-1_source.changes
Debian FTP Masters
2023/09/06
[Git][ocaml-team/belenios][upstream] 3 commits: New upstream version 2.1+dfsg
@glondu
2023/09/06
[Git][ocaml-team/belenios][pristine-tar] 3 commits: pristine-tar data for belenios_2.1+dfsg.orig.tar.xz
@glondu
2023/09/06
[Git][ocaml-team/belenios][master] 11 commits: Update debian/watch
@glondu
2023/09/06
camlp5_8.02.01-2_source.changes ACCEPTED into unstable
Debian FTP Masters
2023/09/06
Processing of camlp5_8.02.01-2_source.changes
Debian FTP Masters
2023/09/06
[Git][ocaml-team/camlp5][master] 2 commits: Run tests only on native architectures
@glondu
2023/09/06
camlp5_8.02.01-1_source.changes ACCEPTED into unstable
Debian FTP Masters
2023/09/06
[Git][ocaml-team/coq-doc][master] Remove camlp5 from Build-Depends
@glondu
2023/09/06
Processing of camlp5_8.02.01-1_source.changes
Debian FTP Masters
2023/09/06
[Git][ocaml-team/coq][master] Remove camlp5 from Build-Depends
@glondu
2023/09/03
ocaml-inifiles_1.2-6_source.changes ACCEPTED into unstable
Debian FTP Masters
2023/09/03
ocamlwc_0.3-21_source.changes ACCEPTED into unstable
Debian FTP Masters
2023/09/03
ocaml-expect_0.0.6-3_source.changes ACCEPTED into unstable
Debian FTP Masters
2023/09/03
cudf_0.10-3_source.changes ACCEPTED into unstable
Debian FTP Masters
2023/09/03
Processing of ocamlwc_0.3-21_source.changes
Debian FTP Masters
2023/09/03
Processing of cudf_0.10-3_source.changes
Debian FTP Masters
2023/09/03
Processing of ocaml-inifiles_1.2-6_source.changes
Debian FTP Masters
2023/09/03
Processing of ocaml-expect_0.0.6-3_source.changes
Debian FTP Masters
2023/09/03
[Git][ocaml-team/ocamlwc][master] Move ocaml to Build-Depends
@glondu
2023/09/03
[Git][ocaml-team/ocaml-inifiles] Pushed new tag archive/debian/1.2-6
@glondu
2023/09/03
[Git][ocaml-team/ocaml-expect] Pushed new tag debian/0.0.6-3
@glondu
2023/09/02
ocamlwc_0.3-20_source.changes ACCEPTED into unstable
Debian FTP Masters
2023/09/02
Processing of ocamlwc_0.3-20_source.changes
Debian FTP Masters
2023/09/02
Bug#1046387: marked as done (ocamlwc: Fails to build source after successful build)
Debian Bug Tracking System
2023/09/02
[Git][ocaml-team/ocamlwc][master] 3 commits: Make ocamlwc an arch:any package
@glondu
2023/09/02
Processed: Bug#1046387 marked as pending in ocamlwc
Debian Bug Tracking System
2023/09/02
pcre2-ocaml_7.5.1-1_source.changes ACCEPTED into unstable
Debian FTP Masters
2023/09/02
Processing of pcre2-ocaml_7.5.1-1_source.changes
Debian FTP Masters
2023/09/02
calendar_3.0.0-4_source.changes ACCEPTED into unstable
Debian FTP Masters
2023/09/02
Accepted calendar 3.0.0-4 (source) into unstable
Debian FTP Masters
2023/09/02
Processing of calendar_3.0.0-4_source.changes
Debian FTP Masters
2023/09/02
Bug#1050381: Bug#1041789: RM: unison-2.51+4.13.1 -- RoQA; newer version packaged
Stéphane Glondu
2023/09/02
meta-unison_2.53+1_source.changes ACCEPTED into unstable
Debian FTP Masters
2023/09/02
Processing of meta-unison_2.53+1_source.changes
Debian FTP Masters
2023/09/02
postgresql-ocaml_5.0.0-4_source.changes ACCEPTED into unstable
Debian FTP Masters
2023/09/02
pa-ounit_113.00.00-5_source.changes ACCEPTED into unstable
Debian FTP Masters
2023/09/02
ocamlwc_0.3-19_source.changes ACCEPTED into unstable
Debian FTP Masters
2023/09/02
ocaml-soundtouch_0.1.9-4_source.changes ACCEPTED into unstable
Debian FTP Masters
2023/09/02
ocaml-mew_0.1.0-4_source.changes ACCEPTED into unstable
Debian FTP Masters
2023/09/02
xstrp4_1.8.2-6_source.changes ACCEPTED into unstable
Debian FTP Masters
2023/09/02
xstr_0.2.1-24_source.changes ACCEPTED into unstable
Debian FTP Masters
2023/09/02
tuareg-mode_3.0.1-2_source.changes ACCEPTED into unstable
Debian FTP Masters
2023/09/02
Processing of postgresql-ocaml_5.0.0-4_source.changes
Debian FTP Masters
Earlier messages
Later messages