debian-ocaml-maint Jan 2023 by thread
[
previous month
]
[
first page
]
[previous page]
Page 1 of 1
[next page]
[
last page
]
[
next month
]
[
Date Index
] [
Subject Index
] [
Author Index
] [
Other Debian Lists
] [
Debian Home
]
[Git][ocaml-team/belenios][master] 4 commits: New upstream version 2.0+dfsg
Stéphane Glondu (@glondu)
[Git][ocaml-team/belenios][upstream] New upstream version 2.0+dfsg
Stéphane Glondu (@glondu)
[Git][ocaml-team/belenios] Pushed new tag upstream/2.0+dfsg
Stéphane Glondu (@glondu)
[Git][ocaml-team/belenios] Pushed new tag archive/debian/2.0+dfsg-1
Stéphane Glondu (@glondu)
[Git][ocaml-team/belenios] Pushed new tag debian/2.0+dfsg-1
Stéphane Glondu (@glondu)
Processing of belenios_2.0+dfsg-1_source.changes
Debian FTP Masters
belenios_2.0+dfsg-1_source.changes ACCEPTED into unstable
Debian FTP Masters
ocaml-afl-persistent is marked for autoremoval from testing
Debian testing autoremoval watch
[Git][ocaml-team/aac-tactics] Pushed new tag debian/8.17.0-1
Julien Puydt (@jpuydt)
[Git][ocaml-team/aac-tactics] Pushed new tag upstream/8.17.0
Julien Puydt (@jpuydt)
Processing of aac-tactics_8.17.0-1_source.changes
Debian FTP Masters
aac-tactics_8.17.0-1_source.changes ACCEPTED into unstable
Debian FTP Masters
Bug#1028324: RM: cduce -- RoQA, unmaintained, FTBFS, zero popcon
Tobias Frost
Bug#1028324: RM: cduce -- RoQA, unmaintained, FTBFS, zero popcon
Stéphane Glondu
Processed: Re: Bug#1028324: RM: cduce -- RoQA, unmaintained, FTBFS, zero popcon
Debian Bug Tracking System
Processed: severity of 1028324 is serious
Debian Bug Tracking System
Bug#1028488: src:coccinelle: fails to migrate to testing for too long: FTBFS on armhf
Paul Gevers
Processed: src:coccinelle: fails to migrate to testing for too long: FTBFS on armhf
Debian Bug Tracking System
Bug#1028869: pyml: FTBFS: make[1]: *** [debian/rules:22: override_dh_auto_test] Error 1
Lucas Nussbaum
Bug#1028869: marked as done (pyml: FTBFS: make[1]: *** [debian/rules:22: override_dh_auto_test] Error 1)
Debian Bug Tracking System
crowbar is marked for autoremoval from testing
Debian testing autoremoval watch
coccinelle is marked for autoremoval from testing
Debian testing autoremoval watch
<Possible follow-ups>
coccinelle is marked for autoremoval from testing
Debian testing autoremoval watch
Processing of camlp-streams_5.0.1-1_source.changes
Debian FTP Masters
camlp-streams_5.0.1-1_source.changes ACCEPTED into unstable
Debian FTP Masters
[Git][ocaml-team/easy-format] Pushed new tag upstream/1.3.3
Stéphane Glondu (@glondu)
[Git][ocaml-team/easy-format] Pushed new tag upstream/1.3.4
Stéphane Glondu (@glondu)
[Git][ocaml-team/biniou][upstream] New upstream version 1.2.2
Stéphane Glondu (@glondu)
[Git][ocaml-team/biniou] Pushed new tag upstream/1.2.2
Stéphane Glondu (@glondu)
[Git][ocaml-team/camlidl][master] 5 commits: New upstream version 1.10
Stéphane Glondu (@glondu)
[Git][ocaml-team/camlidl][upstream] 2 commits: New upstream version 1.10
Stéphane Glondu (@glondu)
Processing of camlidl_1.11-1_source.changes
Debian FTP Masters
[Git][ocaml-team/cppo] Pushed new tag archive/debian/1.6.9-1
Stéphane Glondu (@glondu)
[Git][ocaml-team/cppo] Pushed new tag upstream/1.6.9
Stéphane Glondu (@glondu)
[Git][ocaml-team/cppo] Pushed new tag debian/1.6.9-1
Stéphane Glondu (@glondu)
[Git][ocaml-team/camlp5][master] 4 commits: New upstream version 8.00.04
Stéphane Glondu (@glondu)
[Git][ocaml-team/camlp5] Pushed new tag archive/debian/8.00.04-1
Stéphane Glondu (@glondu)
[Git][ocaml-team/camlp5] Pushed new tag debian/8.00.04-1
Stéphane Glondu (@glondu)
[Git][ocaml-team/camlp5][upstream] New upstream version 8.00.04
Stéphane Glondu (@glondu)
[Git][ocaml-team/camlp5] Pushed new tag upstream/8.00.04
Stéphane Glondu (@glondu)
camlidl_1.11-1_source.changes ACCEPTED into unstable
Debian FTP Masters
Processing of cppo_1.6.9-1_source.changes
Debian FTP Masters
Processing of camlp5_8.00.04-1_source.changes
Debian FTP Masters
camlp5_8.00.04-1_source.changes ACCEPTED into unstable
Debian FTP Masters
cppo_1.6.9-1_source.changes ACCEPTED into unstable
Debian FTP Masters
[Git][ocaml-team/labltk][pristine-tar] 2 commits: pristine-tar data for labltk_8.06.12.orig.tar.gz
Stéphane Glondu (@glondu)
Processing of labltk_8.06.13-1_source.changes
Debian FTP Masters
labltk_8.06.13-1_source.changes ACCEPTED into unstable
Debian FTP Masters
[Git][ocaml-team/biniou] Pushed new tag archive/debian/1.2.2-1
Stéphane Glondu (@glondu)
[Git][ocaml-team/biniou] Pushed new tag debian/1.2.2-1
Stéphane Glondu (@glondu)
Processing of biniou_1.2.2-1_source.changes
Debian FTP Masters
biniou_1.2.2-1_source.changes ACCEPTED into unstable
Debian FTP Masters
[Git][ocaml-team/lablgtk2] Pushed new branch patch-queue/master
Stéphane Glondu (@glondu)
[Git][ocaml-team/lablgtk2] Pushed new tag archive/debian/2.18.13-1
Stéphane Glondu (@glondu)
[Git][ocaml-team/lablgtk2] Pushed new tag debian/2.18.13-1
Stéphane Glondu (@glondu)
[Git][ocaml-team/lablgtk2] Pushed new tag upstream/2.18.13
Stéphane Glondu (@glondu)
[Git][ocaml-team/lablgtk2] Deleted branch patch-queue/master
Stéphane Glondu (@glondu)
Processing of lablgtk2_2.18.13-1_source.changes
Debian FTP Masters
Processing of lablgtk3_3.1.3-1_source.changes
Debian FTP Masters
Bug#1029314: RM: coccinelle [armhf] -- ROM; compilation on armhf crashes "out of memory"
Ralf Treinen
[Git][ocaml-team/ocaml-batteries][master] 5 commits: New upstream version 3.6.0
Stéphane Glondu (@glondu)
[Git][ocaml-team/ocaml-batteries][upstream] New upstream version 3.6.0
Stéphane Glondu (@glondu)
[Git][ocaml-team/ocaml-batteries] Pushed new tag archive/debian/3.6.0-1
Stéphane Glondu (@glondu)
[Git][ocaml-team/ocaml-batteries] Pushed new tag debian/3.6.0-1
Stéphane Glondu (@glondu)
lablgtk2_2.18.13-1_source.changes ACCEPTED into unstable
Debian FTP Masters
[Git][ocaml-team/ocaml-batteries] Pushed new tag upstream/3.6.0
Stéphane Glondu (@glondu)
lablgtk3_3.1.3-1_source.changes ACCEPTED into unstable
Debian FTP Masters
[Git][ocaml-team/ocaml-topkg][master] 5 commits: New upstream version 1.0.6
Stéphane Glondu (@glondu)
[Git][ocaml-team/ocaml-topkg][upstream] 2 commits: New upstream version 1.0.6
Stéphane Glondu (@glondu)
Processing of ocaml-batteries_3.6.0-1_source.changes
Debian FTP Masters
[Git][ocaml-team/ocaml-extunix][pristine-tar] pristine-tar data for ocaml-extunix_0.4.1.orig.tar.bz2
Stéphane Glondu (@glondu)
[Git][ocaml-team/ocaml-extunix] Pushed new tag archive/debian/0.4.1-1
Stéphane Glondu (@glondu)
[Git][ocaml-team/ocaml-extunix] Pushed new tag debian/0.4.1-1
Stéphane Glondu (@glondu)
[Git][ocaml-team/ocaml-extunix] Pushed new tag upstream/0.4.1
Stéphane Glondu (@glondu)
Processing of ocaml-topkg_1.0.7-1_source.changes
Debian FTP Masters
Processing of ocaml-extunix_0.4.1-1_source.changes
Debian FTP Masters
ocaml-batteries_3.6.0-1_source.changes ACCEPTED into unstable
Debian FTP Masters
ocaml-extunix_0.4.1-1_source.changes ACCEPTED into unstable
Debian FTP Masters
ocaml-topkg_1.0.7-1_source.changes ACCEPTED into unstable
Debian FTP Masters
Processing of ocaml-eqaf_0.9-1_source.changes
Debian FTP Masters
[Git][ocaml-team/ocaml-ctypes][pristine-tar] pristine-tar data for ocaml-ctypes_0.20.1.orig.tar.gz
Stéphane Glondu (@glondu)
[Git][ocaml-team/ocaml-ctypes] Pushed new tag archive/debian/0.20.1-1
Stéphane Glondu (@glondu)
[Git][ocaml-team/ocaml-ctypes] Pushed new tag debian/0.20.1-1
Stéphane Glondu (@glondu)
[Git][ocaml-team/ocaml-ctypes] Pushed new tag upstream/0.20.1
Stéphane Glondu (@glondu)
Processing of ocaml-duration_0.2.1-1_source.changes
Debian FTP Masters
ocaml-eqaf_0.9-1_source.changes ACCEPTED into unstable
Debian FTP Masters
Processing of ocaml-ctypes_0.20.1-1_source.changes
Debian FTP Masters
ocaml-ctypes_0.20.1-1_source.changes ACCEPTED into unstable
Debian FTP Masters
ocaml-duration_0.2.1-1_source.changes ACCEPTED into unstable
Debian FTP Masters
Bug#1029314: Removed package(s) from unstable
Debian FTP Masters
[Git][ocaml-team/uuidm][pristine-tar] pristine-tar data for uuidm_0.9.8.orig.tar.bz2
Stéphane Glondu (@glondu)
[Git][ocaml-team/uuidm] Pushed new tag debian/0.9.8-1
Stéphane Glondu (@glondu)
[Git][ocaml-team/uuidm] Pushed new tag archive/debian/0.9.8-1
Stéphane Glondu (@glondu)
[Git][ocaml-team/uuidm] Pushed new tag upstream/0.9.8
Stéphane Glondu (@glondu)
Processing of ocaml-mirage-crypto_0.10.7-1_source.changes
Debian FTP Masters
[Git][ocaml-team/parmap] Pushed new tag archive/debian/1.2.5-1
Stéphane Glondu (@glondu)
[Git][ocaml-team/parmap] Pushed new tag debian/1.2.5-1
Stéphane Glondu (@glondu)
[Git][ocaml-team/parmap] Pushed new tag upstream/1.2.5
Stéphane Glondu (@glondu)
Processing of uuidm_0.9.8-1_source.changes
Debian FTP Masters
[Git][ocaml-team/opam-file-format][pristine-tar] 2 commits: pristine-tar data for opam-file-format_2.1.4.orig.tar.gz
Stéphane Glondu (@glondu)
[Git][ocaml-team/ocamlbuild][master] 2 commits: Remove constraints unnecessary since buster
Stéphane Glondu (@glondu)
Processing of parmap_1.2.5-1_source.changes
Debian FTP Masters
Processing of opam-file-format_2.1.5-1_source.changes
Debian FTP Masters
ocaml-mirage-crypto_0.10.7-1_source.changes ACCEPTED into unstable
Debian FTP Masters
opam-file-format_2.1.5-1_source.changes ACCEPTED into unstable
Debian FTP Masters
parmap_1.2.5-1_source.changes ACCEPTED into unstable
Debian FTP Masters
uuidm_0.9.8-1_source.changes ACCEPTED into unstable
Debian FTP Masters
[Git][ocaml-team/ocaml-taglib][pristine-tar] pristine-tar data for ocaml-taglib_0.3.10.orig.tar.gz
Stéphane Glondu (@glondu)
[Git][ocaml-team/ocaml-taglib] Pushed new tag archive/debian/0.3.10-1
Stéphane Glondu (@glondu)
[Git][ocaml-team/ocaml-taglib] Pushed new tag upstream/0.3.10
Stéphane Glondu (@glondu)
[Git][ocaml-team/ocaml-taglib] Pushed new tag debian/0.3.10-1
Stéphane Glondu (@glondu)
[Git][ocaml-team/ocaml-shine] Pushed new tag archive/debian/0.2.3-1
Stéphane Glondu (@glondu)
[Git][ocaml-team/ocaml-shine] Pushed new tag debian/0.2.3-1
Stéphane Glondu (@glondu)
[Git][ocaml-team/ocaml-shine] Pushed new tag upstream/0.2.3
Stéphane Glondu (@glondu)
Processing of ocaml-taglib_0.3.10-1_source.changes
Debian FTP Masters
[Git][ocaml-team/ocaml-fileutils][pristine-tar] pristine-tar data for ocaml-fileutils_0.6.4.orig.tar.gz
Stéphane Glondu (@glondu)
[Git][ocaml-team/ocaml-fileutils] Pushed new tag archive/debian/0.6.4-1
Stéphane Glondu (@glondu)
[Git][ocaml-team/ocaml-fileutils] Pushed new tag debian/0.6.4-1
Stéphane Glondu (@glondu)
[Git][ocaml-team/ocaml-fileutils] Pushed new tag upstream/0.6.4
Stéphane Glondu (@glondu)
Processing of ocaml-shine_0.2.3-1_source.changes
Debian FTP Masters
ocaml-shine_0.2.3-1_source.changes ACCEPTED into unstable
Debian FTP Masters
ocaml-taglib_0.3.10-1_source.changes ACCEPTED into unstable
Debian FTP Masters
Processing of ocaml-fileutils_0.6.4-1_source.changes
Debian FTP Masters
ocaml-fileutils_0.6.4-1_source.changes ACCEPTED into unstable
Debian FTP Masters
Bug#1029398: ben: "tracker --archs" is not honoured
Adrian Bunk
Bug#1029398: ben: "tracker --archs" is not honoured
Stéphane Glondu
Bug#1029398: ben: "tracker --archs" is not honoured
Adrian Bunk
Bug#1029398: ben: "tracker --archs" is not honoured
Stéphane Glondu
Bug#1029398: ben: "tracker --archs" is not honoured
Adrian Bunk
Bug#1029398: ben: "tracker --archs" is not honoured
Stéphane Glondu
Bug#1029398: ben: "tracker --archs" is not honoured
Adrian Bunk
Bug#1029398: marked as done (ben: "tracker --archs" is not honoured)
Debian Bug Tracking System
pyml is marked for autoremoval from testing
Debian testing autoremoval watch
Processing of ben_0.10.1_source.changes
Debian FTP Masters
ben_0.10.1_source.changes ACCEPTED into unstable
Debian FTP Masters
[Git][ocaml-team/headache] Pushed new tag archive/debian/1.06-1
Stéphane Glondu (@glondu)
[Git][ocaml-team/headache] Pushed new tag debian/1.06-1
Stéphane Glondu (@glondu)
[Git][ocaml-team/headache] Pushed new tag upstream/1.06
Stéphane Glondu (@glondu)
Processing of ocaml-stdcompat_19-1_source.changes
Debian FTP Masters
Processing of headache_1.06-1_source.changes
Debian FTP Masters
Processing of lwt-log_1.1.2-1_source.changes
Debian FTP Masters
[Git][ocaml-team/findlib][master] 8 commits: New upstream version 1.9.4
Stéphane Glondu (@glondu)
[Git][ocaml-team/findlib][upstream] 3 commits: New upstream version 1.9.4
Stéphane Glondu (@glondu)
[Git][ocaml-team/findlib][pristine-tar] 3 commits: pristine-tar data for findlib_1.9.4.orig.tar.gz
Stéphane Glondu (@glondu)
[Git][ocaml-team/ocaml-re][master] 3 commits: Set upstream metadata fields: Bug-Database, Bug-Submit, Repository-Browse.
Stéphane Glondu (@glondu)
[Git][ocaml-team/ocaml-re] Pushed new tag archive/debian/1.10.4-1
Stéphane Glondu (@glondu)
[Git][ocaml-team/ocaml-re] Pushed new tag debian/1.10.4-1
Stéphane Glondu (@glondu)
[Git][ocaml-team/ocaml-re] Pushed new tag upstream/1.10.4
Stéphane Glondu (@glondu)
Processing of findlib_1.9.6-1_source.changes
Debian FTP Masters
findlib_1.9.6-1_source.changes ACCEPTED into unstable
Debian FTP Masters
headache_1.06-1_source.changes ACCEPTED into unstable
Debian FTP Masters
Processing of ocaml-re_1.10.4-1_source.changes
Debian FTP Masters
Processing of ocaml-cairo2_0.6.4+dfsg-1_source.changes
Debian FTP Masters
lwt-log_1.1.2-1_source.changes ACCEPTED into unstable
Debian FTP Masters
ocaml-stdcompat_19-1_source.changes ACCEPTED into unstable
Debian FTP Masters
ocaml-cairo2_0.6.4+dfsg-1_source.changes ACCEPTED into unstable
Debian FTP Masters
ocaml-re_1.10.4-1_source.changes ACCEPTED into unstable
Debian FTP Masters
Processing of pyml_20220905-1_source.changes
Debian FTP Masters
pyml_20220905-1_source.changes ACCEPTED into unstable
Debian FTP Masters
Bug#1028324: Removed package(s) from unstable
Debian FTP Masters
<Possible follow-ups>
Bug#1028324: Removed package(s) from unstable
Debian FTP Masters
Message not available
Bug#796418: marked as done (src:cduce: embeds build date, makes package non-reproducible)
Debian Bug Tracking System
Message not available
Bug#878983: marked as done (cduce FTBFS with OCaml 4.05.0)
Debian Bug Tracking System
Bug#1029538: RM: coq-theories -- NBS; cruft
Stéphane Glondu
Bug#1029547: RM: libcoq-ocaml-dev -- NBS; cruft
julien . puydt
Processing of coq-bignums_8.17.0-2_source.changes
Debian FTP Masters
coq-bignums_8.17.0-2_source.changes ACCEPTED into unstable
Debian FTP Masters
Processing of coq-dpdgraph_1.0+8.16-2_source.changes
Debian FTP Masters
Processing of coq-elpi_1.16.0-2_source.changes
Debian FTP Masters
Processing of coq-hammer_1.3.2+8.16-2_source.changes
Debian FTP Masters
coq-dpdgraph_1.0+8.16-2_source.changes ACCEPTED into unstable
Debian FTP Masters
coq-elpi_1.16.0-2_source.changes ACCEPTED into unstable
Debian FTP Masters
coq-hammer_1.3.2+8.16-2_source.changes ACCEPTED into unstable
Debian FTP Masters
Processing of coq-ext-lib_0.11.7-2_source.changes
Debian FTP Masters
Processing of coq-hott_8.16-2_source.changes
Debian FTP Masters
Processing of coq-libhyps_2.0.6-2_source.changes
Debian FTP Masters
Processing of coq-record-update_0.3.1-2_source.changes
Debian FTP Masters
Processing of coq-menhirlib_20220210+ds-4_source.changes
Debian FTP Masters
Processing of coq-reduction-effects_0.1.4-3_source.changes
Debian FTP Masters
coq-ext-lib_0.11.7-2_source.changes ACCEPTED into unstable
Debian FTP Masters
coq-hott_8.16-2_source.changes ACCEPTED into unstable
Debian FTP Masters
coq-libhyps_2.0.6-2_source.changes ACCEPTED into unstable
Debian FTP Masters
coq-menhirlib_20220210+ds-4_source.changes ACCEPTED into unstable
Debian FTP Masters
coq-record-update_0.3.1-2_source.changes ACCEPTED into unstable
Debian FTP Masters
coq-reduction-effects_0.1.4-3_source.changes ACCEPTED into unstable
Debian FTP Masters
Processing of coq-stdpp_1.8.0-3_source.changes
Debian FTP Masters
Processing of coq-unicoq_1.6-8.16-2_source.changes
Debian FTP Masters
coq-stdpp_1.8.0-3_source.changes ACCEPTED into unstable
Debian FTP Masters
coq-unicoq_1.6-8.16-2_source.changes ACCEPTED into unstable
Debian FTP Masters
Processing of flocq_4.1.0-3_source.changes
Debian FTP Masters
Processing of ott_0.32+ds-3_source.changes
Debian FTP Masters
Processing of paramcoq_1.1.3+coq8.16-3_source.changes
Debian FTP Masters
flocq_4.1.0-3_source.changes ACCEPTED into unstable
Debian FTP Masters
ott_0.32+ds-3_source.changes ACCEPTED into unstable
Debian FTP Masters
paramcoq_1.1.3+coq8.16-3_source.changes ACCEPTED into unstable
Debian FTP Masters
Processing of ocaml-x509_0.16.2-1_source.changes
Debian FTP Masters
ocaml-x509_0.16.2-1_source.changes ACCEPTED into unstable
Debian FTP Masters
Processing of coq-unimath_20220816-2_source.changes
Debian FTP Masters
coq-unimath_20220816-2_source.changes ACCEPTED into unstable
Debian FTP Masters
Processing of ocaml-ca-certs_0.2.3-1_source.changes
Debian FTP Masters
ocaml-ca-certs_0.2.3-1_source.changes ACCEPTED into unstable
Debian FTP Masters
Processing of coq-deriving_0.1.0-2_source.changes
Debian FTP Masters
Processing of coq-mtac2_1.4+8.16-2_source.changes
Debian FTP Masters
Processing of coq-equations_1.3-8.16-2_source.changes
Debian FTP Masters
Processing of coquelicot_3.2.0-8_source.changes
Debian FTP Masters
Processing of coq-relation-algebra_1.7.8-2_source.changes
Debian FTP Masters
Processing of coq-math-classes_8.15.0-4_source.changes
Debian FTP Masters
Processing of coqprime_8.15-2_source.changes
Debian FTP Masters
Processing of coq-reglang_1.1.3-2_source.changes
Debian FTP Masters
Processing of coq-iris_4.0.0-3_source.changes
Debian FTP Masters
Processing of coq-simple-io_1.8.0-2_source.changes
Debian FTP Masters
Processing of coq-gappa_1.5.2-5_source.changes
Debian FTP Masters
coq-deriving_0.1.0-2_source.changes ACCEPTED into unstable
Debian FTP Masters
coq-equations_1.3-8.16-2_source.changes ACCEPTED into unstable
Debian FTP Masters
coq-gappa_1.5.2-5_source.changes ACCEPTED into unstable
Debian FTP Masters
coq-iris_4.0.0-3_source.changes ACCEPTED into unstable
Debian FTP Masters
coq-math-classes_8.15.0-4_source.changes ACCEPTED into unstable
Debian FTP Masters
coq-mtac2_1.4+8.16-2_source.changes ACCEPTED into unstable
Debian FTP Masters
coq-reglang_1.1.3-2_source.changes ACCEPTED into unstable
Debian FTP Masters
coq-relation-algebra_1.7.8-2_source.changes ACCEPTED into unstable
Debian FTP Masters
coq-simple-io_1.8.0-2_source.changes ACCEPTED into unstable
Debian FTP Masters
coqprime_8.15-2_source.changes ACCEPTED into unstable
Debian FTP Masters
coquelicot_3.2.0-8_source.changes ACCEPTED into unstable
Debian FTP Masters
Processing of coq-interval_4.6.1-2_source.changes
Debian FTP Masters
Processing of coq-corn_8.16.0-2_source.changes
Debian FTP Masters
Processing of coq-quickchick_1.6.4-3_source.changes
Debian FTP Masters
Processing of coq-extructures_0.3.1-3_source.changes
Debian FTP Masters
coq-corn_8.16.0-2_source.changes ACCEPTED into unstable
Debian FTP Masters
coq-extructures_0.3.1-3_source.changes ACCEPTED into unstable
Debian FTP Masters
coq-interval_4.6.1-2_source.changes ACCEPTED into unstable
Debian FTP Masters
coq-quickchick_1.6.4-3_source.changes ACCEPTED into unstable
Debian FTP Masters
Processing of mathcomp-analysis_0.6.0-2_source.changes
Debian FTP Masters
mathcomp-analysis_0.6.0-2_source.changes ACCEPTED into unstable
Debian FTP Masters
Processing of coqeal_1.1.1-3_source.changes
Debian FTP Masters
coqeal_1.1.1-3_source.changes ACCEPTED into unstable
Debian FTP Masters
Bug#1030074: advi: Replace package texlive-base-bin by texlive-binaries
hille42
[Git][ocaml-team/hol-light][pristine-tar] pristine-tar data for hol-light_20230128.orig.tar.gz
Stéphane Glondu (@glondu)
[Git][ocaml-team/hol-light][upstream] New upstream version 20230128
Stéphane Glondu (@glondu)
[Git][ocaml-team/hol-light][master] 8 commits: Update packaging
Stéphane Glondu (@glondu)
[Git][ocaml-team/hol-light] Pushed new tag archive/debian/20230128-1
Stéphane Glondu (@glondu)
[Git][ocaml-team/hol-light] Pushed new tag debian/20230128-1
Stéphane Glondu (@glondu)
[Git][ocaml-team/hol-light] Pushed new tag upstream/20230128
Stéphane Glondu (@glondu)
Processing of hol-light_20230128-1_source.changes
Debian FTP Masters
Bug#1002983: marked as done (FTBFS with camlp5 8.00.02)
Debian Bug Tracking System
hol-light_20230128-1_source.changes ACCEPTED into unstable
Debian FTP Masters
The last update was on 12:20 GMT Tue Jan 31. There are 245 messages. Page 1 of 1.
[
previous month
]
[
first page
]
[previous page]
Page 1 of 1
[next page]
[
last page
]
[
next month
]
[
Date Index
] [
Subject Index
] [
Author Index
] [
Other Debian Lists
] [
Debian Home
]
Mail converted by
MHonArc