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