debian-ocaml-maint Sep 2020 by subject
|
[previous page]
|
Page 1 of 1 |
[next page]
|
|
[Thread Index]
[Date Index]
[Author Index]
[Other Debian Lists]
[Debian Home]
[Git][ocaml-team/aac-tactics][pristine-tar] pristine-tar data for aac-tactics_8.12.0.orig.tar.gz
[Git][ocaml-team/camlp5] Pushed new tag debian/7.13-1
[Git][ocaml-team/camlp5] Pushed new tag upstream/7.13
[Git][ocaml-team/camlp5][pristine-tar] pristine-tar data for camlp5_7.13.orig.tar.gz
[Git][ocaml-team/camomile] Pushed new tag archive/debian/1.0.2-3
[Git][ocaml-team/camomile] Pushed new tag debian/1.0.2-3
[Git][ocaml-team/coq] Pushed new tag debian/8.12.0-3
[Git][ocaml-team/coq][master] 32 commits: New upstream version 8.10.1
[Git][ocaml-team/coq][upstream] 2 commits: New upstream version 8.11.1~pre1
[Git][ocaml-team/cppo] Pushed new tag archive/debian/1.6.6-2
[Git][ocaml-team/cppo] Pushed new tag debian/1.6.6-2
[Git][ocaml-team/labltk] Pushed new tag archive/debian/8.06.9-1
[Git][ocaml-team/labltk] Pushed new tag debian/8.06.9-1
[Git][ocaml-team/labltk] Pushed new tag upstream/8.06.9
[Git][ocaml-team/labltk][pristine-tar] pristine-tar data for labltk_8.06.9.orig.tar.gz
[Git][ocaml-team/lambda-term] Pushed new tag archive/debian/3.1.0-1
[Git][ocaml-team/lambda-term] Pushed new tag debian/3.1.0-1
[Git][ocaml-team/ocaml-batteries] Pushed new tag archive/debian/3.1.0-1
[Git][ocaml-team/ocaml-batteries] Pushed new tag debian/3.1.0-1
[Git][ocaml-team/ocaml-batteries] Pushed new tag upstream/3.1.0
[Git][ocaml-team/ocaml-dune] Pushed new branch debian/experimental
[Git][ocaml-team/ocaml-dune] Pushed new tag archive/debian/2.7.0-1+exp1
[Git][ocaml-team/ocaml-dune] Pushed new tag debian/2.7.0-1+exp1
[Git][ocaml-team/ocaml-lame] Pushed new tag archive/debian/0.3.4-1
[Git][ocaml-team/ocaml-lame] Pushed new tag debian/0.3.4-1
[Git][ocaml-team/ocaml-lame] Pushed new tag upstream/0.3.4
[Git][ocaml-team/ocaml-lame][master] 6 commits: Update debian/watch
[Git][ocaml-team/ocaml-lame][pristine-tar] pristine-tar data for ocaml-lame_0.3.4.orig.tar.gz
[Git][ocaml-team/ocaml-lame][upstream] New upstream version 0.3.4
[Git][ocaml-team/ocaml-rope] Pushed new tag archive/debian/0.6.2-3
[Git][ocaml-team/ocaml-rope] Pushed new tag debian/0.6.2-3
[Git][ocaml-team/ocaml-shine][master] 2 commits: Set upstream metadata fields: Bug-Database, Bug-Submit, Repository, Repository-Browse.
[Git][ocaml-team/ocaml-ssl] Pushed new tag archive/debian/0.5.9-2
[Git][ocaml-team/ocaml-ssl] Pushed new tag debian/0.5.9-2
[Git][ocaml-team/ocaml-xmlplaylist] Pushed new tag archive/debian/0.1.5-1
[Git][ocaml-team/ocaml-xmlplaylist] Pushed new tag debian/0.1.5-1
[Git][ocaml-team/ocaml-xmlplaylist] Pushed new tag upstream/0.1.5
[Git][ocaml-team/ocaml-xmlplaylist][master] 6 commits: Update debian/watch
[Git][ocaml-team/ocaml-xmlplaylist][pristine-tar] pristine-tar data for ocaml-xmlplaylist_0.1.5.orig.tar.gz
[Git][ocaml-team/ocaml-xmlplaylist][upstream] New upstream version 0.1.5
[Git][ocaml-team/ocaml-zarith] Pushed new tag archive/debian/1.10-1
[Git][ocaml-team/ocaml-zarith] Pushed new tag debian/1.10-1
[Git][ocaml-team/ocaml-zarith] Pushed new tag upstream/1.10
[Git][ocaml-team/ocaml-zarith][pristine-tar] pristine-tar data for ocaml-zarith_1.10.orig.tar.gz
[Git][ocaml-team/ocaml] Pushed new tag archive/debian/4.11.1-2
[Git][ocaml-team/ocaml] Pushed new tag debian/4.11.1-2
[Git][ocaml-team/ocaml][debian/experimental] 65 commits: Provide libnum-ocaml{,-dev}
[Git][ocaml-team/ocaml][pristine-tar] 6 commits: pristine-tar data for ocaml_4.09.0.orig.tar.xz
[Git][ocaml-team/ocaml][upstream/experimental] 6 commits: New upstream version 4.09.0
[Git][ocaml-team/opam-file-format] Pushed new tag 2.1.0
[Git][ocaml-team/opam-file-format] Pushed new tag archive/debian/2.1.0-1
[Git][ocaml-team/opam-file-format] Pushed new tag debian/2.1.0-1
[Git][ocaml-team/opam-file-format][pristine-tar] pristine-tar data for opam-file-format_2.1.0.orig.tar.gz
[Git][ocaml-team/ssreflect] Pushed new tag debian/1.11.0-1
[Git][ocaml-team/ssreflect] Pushed new tag upstream/1.11.0
[Git][ocaml-team/ssreflect][master] 4 commits: New upstream version 1.11.0
[Git][ocaml-team/ssreflect][pristine-tar] pristine-tar data for ssreflect_1.11.0.orig.tar.gz
[Git][ocaml-team/ssreflect][upstream] New upstream version 1.11.0
[Git][ocaml-team/utop][pristine-tar] 2 commits: pristine-tar data for utop_2.5.0.orig.tar.gz
[Git][ocaml-team/why3] Pushed new tag debian/1.3.2-1
[Git][ocaml-team/why3] Pushed new tag debian/1.3.3-1
[Git][ocaml-team/why3] Pushed new tag upstream/1.3.3
[Git][ocaml-team/why3][master] 4 commits: New upstream version 1.3.2
[Git][ocaml-team/why3][pristine-tar] pristine-tar data for why3_1.3.3.orig.tar.gz
[Git][ocaml-team/why3][upstream] New upstream version 1.3.2
aac-tactics is marked for autoremoval from testing
Accepted coq 8.12.0-2 (source) into experimental
Accepted coq 8.12.0-3 (source) into unstable
ben_0.9.1_source.changes ACCEPTED into unstable
Bug#830185: marked as done ([coccinelle] Fatal errors when running Linux coccicheck)
Bug#886712: marked as done (Semantic patch uses python, but Coccinelle has been compiled without Python support)
Bug#953229: marked as done (coq: FTBFS test failures)
Bug#968946: marked as done (coccinelle: FTBFS in sid)
Bug#969451: coccinelle: use the system pyml library
Bug#969451: marked as done (coccinelle: use the system pyml library)
Bug#970010: ITP: ocaml-csexp -- parsing and printing of S-expressions in Canonical form
Bug#970069: marionnet: bullseye: /updates -> -security
Bug#970222: ITP: ocaml-graphics -- the OCaml graphics library
Bug#970510: marked as done (why3: does not work with current version of cvc4)
Bug#970510: why3: does not work with current version of cvc4
Bug#970626: ITP: ocaml-mew -- modal editing witch
Bug#970627: ITP: ocaml-mew-vi -- modal editing witch, VI interpreter
Bug#970744: ben: please provide machine-parseable version of transition status
Bug#970744: marked as done (ben traker: please support multiple outputs)
Bug#971176: ocaml-reins: FTBFS: File config.omake: line 9, characters 10-29 unbound variable: this.OCAMLDEP_MODULES
Bug#971415: transition: ocaml
Bug#971439: Build procedure is incorrect and produces invalid files
camlp5_7.13-1_source.changes ACCEPTED into unstable
camomile_1.0.2-3_source.changes ACCEPTED into unstable
coccinelle is marked for autoremoval from testing
coccinelle_1.0.8.deb-4_source.changes ACCEPTED into unstable
coccinelle_1.0.8.deb-5_source.changes ACCEPTED into unstable
coq 8.12.0-3 MIGRATED to testing
coq-float is marked for autoremoval from testing
coq_8.12.0-2_source.changes ACCEPTED into experimental
coq_8.12.0-3_source.changes ACCEPTED into unstable
cppo_1.6.6-2_source.changes ACCEPTED into unstable
dh-ocaml_1.1.3_source.changes ACCEPTED into unstable
failed s390x build of coq 8.12.0-2
failed s390x build of coq 8.12.0-3
Hi Dear
labltk_8.06.9-1_source.changes ACCEPTED into unstable
lambda-term_3.1.0-1_source.changes ACCEPTED into unstable
OCaml 4.11.1
ocaml-batteries_3.1.0-1_source.changes ACCEPTED into unstable
ocaml-bigarray-compat_1.0.0-1_amd64.changes ACCEPTED into unstable, unstable
ocaml-csexp_1.3.1-1_amd64.changes ACCEPTED into unstable, unstable
ocaml-csexp_1.3.1-1_amd64.changes is NEW
ocaml-cstruct_5.2.0-1_amd64.changes ACCEPTED into unstable, unstable
ocaml-cstruct_5.2.0-1_amd64.changes is NEW
ocaml-dune_2.7.0-1+exp1_source.changes ACCEPTED into experimental
ocaml-ffmpeg_0.4.3-1_source.changes ACCEPTED into unstable
ocaml-fpath_0.7.3-1_source.changes ACCEPTED into unstable
ocaml-fpath_0.7.3-2_source.changes ACCEPTED into unstable
ocaml-graphics_5.1.0-1_amd64.changes ACCEPTED into experimental, experimental
ocaml-graphics_5.1.0-1_amd64.changes is NEW
ocaml-hex_1.4.0-1_amd64.changes ACCEPTED into unstable, unstable
ocaml-hex_1.4.0-1_amd64.changes is NEW
ocaml-lame_0.3.4-1_source.changes ACCEPTED into unstable
ocaml-mew-vi_0.5.0-1_amd64.changes ACCEPTED into unstable, unstable
ocaml-mew-vi_0.5.0-1_amd64.changes is NEW
ocaml-mew_0.1.0-1_amd64.changes ACCEPTED into unstable, unstable
ocaml-mew_0.1.0-1_amd64.changes is NEW
ocaml-qcheck_0.15-1_source.changes ACCEPTED into unstable
ocaml-qtest_2.11.1-1_source.changes ACCEPTED into unstable
ocaml-rope_0.6.2-3_source.changes ACCEPTED into unstable
ocaml-rresult_0.6.0-1_amd64.changes ACCEPTED into unstable, unstable
ocaml-ssl_0.5.9-2_source.changes ACCEPTED into unstable
ocaml-trie_1.0.0-1_amd64.changes ACCEPTED into unstable, unstable
ocaml-xmlplaylist_0.1.5-1_source.changes ACCEPTED into unstable
ocaml-zarith_1.10-1_source.changes ACCEPTED into unstable
ocaml_4.11.1-1_source.changes ACCEPTED into experimental
ocaml_4.11.1-2_source.changes ACCEPTED into experimental
opam-file-format_2.1.0-1_source.changes ACCEPTED into unstable
Paris 2021 conferene
Processed: limit source to coccinelle, tagging 969451
Processed: Re: Bug#970744: ben: please provide machine-parseable version of transition status
Processed: tag ftbfs bugs
Processed: tagging 968946
Processing of ben_0.9.1_source.changes
Processing of camlp5_7.13-1_source.changes
Processing of camomile_1.0.2-3_source.changes
Processing of coccinelle_1.0.8.deb-4_source.changes
Processing of coccinelle_1.0.8.deb-5_source.changes
Processing of coq_8.12.0-2_source.changes
Processing of coq_8.12.0-3_source.changes
Processing of cppo_1.6.6-2_source.changes
Processing of dh-ocaml_1.1.3_source.changes
Processing of labltk_8.06.9-1_source.changes
Processing of lambda-term_3.1.0-1_source.changes
Processing of ocaml-batteries_3.1.0-1_source.changes
Processing of ocaml-csexp_1.3.1-1_amd64.changes
Processing of ocaml-cstruct_5.2.0-1_amd64.changes
Processing of ocaml-dune_2.7.0-1+exp1_source.changes
Processing of ocaml-ffmpeg_0.4.3-1_source.changes
Processing of ocaml-fpath_0.7.3-1_source.changes
Processing of ocaml-fpath_0.7.3-2_source.changes
Processing of ocaml-graphics_5.1.0-1_amd64.changes
Processing of ocaml-hex_1.4.0-1_amd64.changes
Processing of ocaml-lame_0.3.4-1_source.changes
Processing of ocaml-mew-vi_0.5.0-1_amd64.changes
Processing of ocaml-mew_0.1.0-1_amd64.changes
Processing of ocaml-qcheck_0.15-1_source.changes
Processing of ocaml-qtest_2.11.1-1_source.changes
Processing of ocaml-rope_0.6.2-3_source.changes
Processing of ocaml-ssl_0.5.9-2_source.changes
Processing of ocaml-xmlplaylist_0.1.5-1_source.changes
Processing of ocaml-zarith_1.10-1_source.changes
Processing of ocaml_4.11.1-1_source.changes
Processing of ocaml_4.11.1-2_source.changes
Processing of opam-file-format_2.1.0-1_source.changes
Processing of ssreflect_1.11.0-1_source.changes
Processing of utop_2.6.0-1_source.changes
Processing of why3_1.3.2-1_source.changes
Processing of why3_1.3.3-1_source.changes
ssreflect_1.11.0-1_source.changes ACCEPTED into unstable
Status of aac-tactics (and migration of coq)
utop_2.6.0-1_source.changes ACCEPTED into unstable
why3_1.3.2-1_source.changes ACCEPTED into unstable
why3_1.3.3-1_source.changes ACCEPTED into unstable
The last update was on 16:40 GMT Wed Sep 30. There are 192 messages. Page 1 of 1.
[Thread Index]
[Subject Index]
[Author Index]
[Other Debian Lists]
[Debian Home]
Mail converted by MHonArc