debian-ocaml-maint Sep 2022 by subject

[First Page] <
[previous page] 		Page 1 of 1 >
[next page] 		[Last Page]

[Thread Index] [Date Index] [Author Index] [Other Debian Lists] [Debian Home]
L'Aid Al Mawlid Annabaoui sera bientôt célébré Le Maroc célèbre la Journée mondiale contre la rage sous le signe "Une santé – Zéro décès" [Git][ocaml-team/coq-doc] Pushed new tag debian/8.16.0-1 [Git][ocaml-team/coq-doc] Pushed new tag upstream/8.16.0 [Git][ocaml-team/coq-doc][master] 3 commits: New upstream version 8.16.0 [Git][ocaml-team/coq-doc][pristine-tar] pristine-tar data for coq-doc_8.16.0.orig.tar.gz [Git][ocaml-team/coq-doc][upstream] New upstream version 8.16.0 [Git][ocaml-team/coq] Pushed new tag debian/8.16.0+dfsg-1 [Git][ocaml-team/coq] Pushed new tag upstream/8.16.0+dfsg [Git][ocaml-team/coq][master] 6 commits: Add explicit b-dep on libfindlib-ocaml-dev [Git][ocaml-team/coq][upstream] New upstream version 8.16.0+dfsg [Git][ocaml-team/hevea-doc] Pushed new tag debian/2.36-1 [Git][ocaml-team/hevea-doc] Pushed new tag upstream/2.36 [Git][ocaml-team/hevea-doc][master] 2 commits: New upstream version 2.36 [Git][ocaml-team/hevea-doc][upstream] New upstream version 2.36 [Git][ocaml-team/hevea] Pushed new tag debian/2.36-1 [Git][ocaml-team/hevea] Pushed new tag upstream/2.36 [Git][ocaml-team/hevea][master] 6 commits: New upstream version 2.35 [Git][ocaml-team/hevea][upstream] New upstream version 2.36 [Git][ocaml-team/ocaml-ogg] Pushed new tag debian/0.7.3-1 [Git][ocaml-team/ocaml-ogg] Pushed new tag upstream/0.7.3 [Git][ocaml-team/ocaml-ogg][pristine-tar] pristine-tar data for ocaml-ogg_0.7.3.orig.tar.gz [Git][ocaml-team/ocaml-ssl] Pushed new tag debian/0.5.12-1 [Git][ocaml-team/ocaml-ssl] Pushed new tag upstream/0.5.12 [Git][ocaml-team/why3] Pushed new tag upstream/1.5.1 [Git][ocaml-team/why3][master] 2 commits: New upstream version 1.5.1 [Git][ocaml-team/why3][upstream] New upstream version 1.5.1 aac-tactics_8.16.0-1_source.changes ACCEPTED into unstable Accepted coq 8.16.0+dfsg-1 (source) into unstable Bug#1008482: marked as done (imagen use convert without Depends/Recommends on it) Bug#1015179: Please update ppxlib to latest upstream Bug#1015758: marked as done (ocaml-odoc: autopkgtests failures) Bug#1015758: ocaml-odoc: autopkgtests failures Bug#1019239: transition: coq (41 packages involved) Bug#1019571: marked as done (paramcoq: autopkgtest failure) Bug#1019571: paramcoq: autopkgtest failure Bug#1019692: ITP: mathcomp-abel -- Abel-Galois and Abel-Ruffini theorems for Mathematical Components Bug#1019879: ITP: ppx-hash -- ppx writer generating hash functions Bug#769379: marked as done (dh-ocaml: please mark as Multi-Arch:foreign) coq 8.16.0+dfsg-1 MIGRATED to testing coq-bignums_8.16.0-1_source.changes ACCEPTED into unstable coq-corn_8.16.0-1_source.changes ACCEPTED into unstable coq-doc_8.16.0-1_source.changes ACCEPTED into unstable coq-dpdgraph_1.0+8.16-1_source.changes ACCEPTED into unstable coq-elpi_1.15.5-1_source.changes ACCEPTED into unstable coq-elpi_1.15.6-1_source.changes ACCEPTED into unstable coq-equations_1.3-8.16-1_source.changes ACCEPTED into unstable coq-gappa_1.5.2-4_source.changes ACCEPTED into unstable coq-hammer_1.3.2+8.16-1_source.changes ACCEPTED into unstable coq-hierarchy-builder_1.3.0-2_source.changes ACCEPTED into unstable coq-hott_8.16-1_source.changes ACCEPTED into unstable coq-iris_4.0.0-2_source.changes ACCEPTED into unstable coq-libhyps_2.0.6-1_amd64.changes is NEW coq-menhirlib_20220210+ds-3_source.changes ACCEPTED into unstable coq-mtac2_1.4+8.16-1_source.changes ACCEPTED into unstable coq-quickchick_1.6.4-2_source.changes ACCEPTED into unstable coq-reduction-effects_0.1.4-2_source.changes ACCEPTED into unstable coq-relation-algebra_1.7.8-1_amd64.changes is NEW coq-relation-algebra_1.7.8-1_amd64.changes REJECTED coq-relation-algebra_1.7.8-1_source.changes REJECTED coq-simple-io_1.7.0-3_source.changes ACCEPTED into unstable coq-simple-io_1.8.0-1_source.changes ACCEPTED into unstable coq-stdpp_1.8.0-2_source.changes ACCEPTED into unstable coq-unicoq_1.6-8.16-1_source.changes ACCEPTED into unstable coq_8.16.0+dfsg-1_source.changes ACCEPTED into unstable coqeal_1.1.1-2_source.changes ACCEPTED into unstable elpi_1.16.5-2_source.changes ACCEPTED into unstable elpi_1.16.5-3_source.changes ACCEPTED into unstable elpi_1.16.5-4_source.changes ACCEPTED into unstable hevea-doc_2.36-1_amd64.changes ACCEPTED into unstable hevea-doc_2.36-1_source.changes REJECTED hevea_2.36-1_source.changes ACCEPTED into unstable Le Maroc traverse une phase de stress hydrique aigu mathcomp-abel_1.2.1-1_amd64.changes is NEW mathcomp-analysis_0.5.3-2_source.changes ACCEPTED into unstable mathcomp-analysis_0.5.4-1_source.changes ACCEPTED into unstable ocaml-ffmpeg_1.1.6-1_source.changes ACCEPTED into unstable ocaml-odoc_2.1.1+dfsg-1_source.changes ACCEPTED into unstable ocaml-ogg_0.7.3-1_source.changes ACCEPTED into unstable ocaml-ssl_0.5.12-1_source.changes ACCEPTED into unstable paramcoq_1.1.3+coq8.16-1_source.changes ACCEPTED into unstable paramcoq_1.1.3+coq8.16-2_source.changes ACCEPTED into unstable Processed: limit source to hevea, tagging 1008482 Processing of aac-tactics_8.16.0-1_source.changes Processing of coq-bignums_8.16.0-1_source.changes Processing of coq-corn_8.16.0-1_source.changes Processing of coq-doc_8.16.0-1_source.changes Processing of coq-dpdgraph_1.0+8.16-1_source.changes Processing of coq-elpi_1.15.5-1_source.changes Processing of coq-elpi_1.15.6-1_source.changes Processing of coq-equations_1.3-8.16-1_source.changes Processing of coq-gappa_1.5.2-4_source.changes Processing of coq-hammer_1.3.2+8.16-1_source.changes Processing of coq-hierarchy-builder_1.3.0-2_source.changes Processing of coq-hott_8.16-1_source.changes Processing of coq-iris_4.0.0-2_source.changes Processing of coq-libhyps_2.0.6-1_amd64.changes Processing of coq-menhirlib_20220210+ds-3_source.changes Processing of coq-mtac2_1.4+8.16-1_source.changes Processing of coq-quickchick_1.6.4-2_source.changes Processing of coq-reduction-effects_0.1.4-2_source.changes Processing of coq-relation-algebra_1.7.8-1_amd64.changes Processing of coq-relation-algebra_1.7.8-1_source.changes Processing of coq-simple-io_1.7.0-3_source.changes Processing of coq-simple-io_1.8.0-1_source.changes Processing of coq-stdpp_1.8.0-2_source.changes Processing of coq-unicoq_1.6-8.16-1_source.changes Processing of coq_8.16.0+dfsg-1_source.changes Processing of coqeal_1.1.1-2_source.changes Processing of elpi_1.16.5-2_source.changes Processing of elpi_1.16.5-3_source.changes Processing of elpi_1.16.5-4_source.changes Processing of hevea-doc_2.36-1_amd64.changes Processing of hevea-doc_2.36-1_source.changes Processing of hevea_2.36-1_source.changes Processing of mathcomp-abel_1.2.1-1_amd64.changes Processing of mathcomp-analysis_0.5.3-2_source.changes Processing of mathcomp-analysis_0.5.4-1_source.changes Processing of ocaml-ffmpeg_1.1.6-1_source.changes Processing of ocaml-odoc_2.1.1+dfsg-1_source.changes Processing of ocaml-ogg_0.7.3-1_source.changes Processing of ocaml-ssl_0.5.12-1_source.changes Processing of paramcoq_1.1.3+coq8.16-1_source.changes Processing of paramcoq_1.1.3+coq8.16-2_source.changes The last update was on 03:20 GMT Fri Sep 30. There are 126 messages. Page 1 of 1.
<<
[previous month] 		|<
[first page] 		<
[previous page] 		Page 1 of 1
 >
[next page] 		>|
[last page] 		>>
[next month]

[Thread Index] [Subject Index] [Author Index] [Other Debian Lists] [Debian Home]
Mail converted by MHonArc