debian-ocaml-maint Nov 2024 by subject
![[First Page]](/images/first.png) |
[previous page]
|
Page 1 of 1 |
[next page]
|
![[Last Page]](/images/last.png) |
[Thread Index]
[Date Index]
[Author Index]
[Other Debian Lists]
[Debian Home]
1 New Message
[Git][ocaml-team/aac-tactics] Pushed new tag debian/8.20.0-1
[Git][ocaml-team/aac-tactics] Pushed new tag upstream/8.20.0
[Git][ocaml-team/aac-tactics][master] Prepare for upload
[Git][ocaml-team/aac-tactics][pristine-tar] pristine-tar data for aac-tactics_8.20.0.orig.tar.gz
[Git][ocaml-team/belenios] Pushed new tag archive/debian/3.0+dfsg-1
[Git][ocaml-team/belenios] Pushed new tag debian/3.0+dfsg-1
[Git][ocaml-team/belenios] Pushed new tag upstream/3.0+dfsg
[Git][ocaml-team/belenios][master] 6 commits: Upstream's ext is now vendor
[Git][ocaml-team/belenios][pristine-tar] pristine-tar data for belenios_3.0+dfsg.orig.tar.xz
[Git][ocaml-team/belenios][upstream] New upstream version 3.0+dfsg
[Git][ocaml-team/coq] Pushed new tag debian/8.20.0+dfsg-1
[Git][ocaml-team/coq] Pushed new tag upstream/8.19.2+dfsg
[Git][ocaml-team/coq] Pushed new tag upstream/8.20.0+dfsg
[Git][ocaml-team/coq][master] Prepare for upload
[Git][ocaml-team/coq][pristine-tar] 2 commits: pristine-tar data for coq_8.19.2+dfsg.orig.tar.xz
[Git][ocaml-team/coq][upstream] 2 commits: New upstream version 8.19.2+dfsg
[Git][ocaml-team/hol-light] Pushed new tag upstream/3.0.0
[Git][ocaml-team/hol-light][master] 10 commits: clear some comments on d/watch again
[Git][ocaml-team/hol-light][master] Add epoch to version number
[Git][ocaml-team/hol-light][master] Fix spacing
[Git][ocaml-team/hol-light][master] Update copyright years and file
[Git][ocaml-team/hol-light][pristine-tar] pristine-tar data for hol-light_3.0.0.orig.tar.xz
[Git][ocaml-team/hol-light][upstream] New upstream version 3.0.0
aac-tactics_8.20.0-1_source.changes ACCEPTED into unstable
Accepted coq 8.20.0+dfsg-1 (source) into unstable
belenios_3.0+dfsg-1_source.changes ACCEPTED into unstable
Bug#1078941: marked as done (Requires ocamlopt)
Bug#1086600: ocaml: Please enable native backend on hurd-amd64
Bug#1087134: please support HTTPS
Bug#1087437: coccinelle: FTBFS: Fatal error occurred, no output PDF file produced!
Bug#1087631: Transition: coq 8.20
Bug#1088468: libjs-of-ocaml-doc: move from twitter-bootstrap{3,4} to bootstrap-html (v5)
coccinelle is marked for autoremoval from testing
coq 8.20.0+dfsg-1 MIGRATED to testing
coq-corn_8.19.0+ds1-2_source.changes ACCEPTED into unstable
coq-dpdgraph_1.0+8.20-1_source.changes ACCEPTED into unstable
coq-elpi_2.2.3-1_source.changes ACCEPTED into unstable
coq-equations_1.3.1-8.20-1_source.changes ACCEPTED into unstable
coq-ext-lib_0.12.2-1_source.changes ACCEPTED into unstable
coq-hammer_1.3.2+8.20-1_source.changes ACCEPTED into unstable
coq-hott_8.20-1_source.changes ACCEPTED into unstable
coq-interval_4.11.1-1_source.changes ACCEPTED into unstable
coq-iris_4.3.0-1_source.changes ACCEPTED into unstable
coq-menhirlib_20240715+ds-1_source.changes ACCEPTED into unstable
coq-mtac2_1.4+8.19-3_source.changes ACCEPTED into unstable
coq-mtac2_1.4+8.20-1_source.changes ACCEPTED into unstable
coq-quickchick_2.0.4-1_source.changes ACCEPTED into unstable
coq-record-update_0.3.4-4_source.changes ACCEPTED into unstable
coq-relation-algebra_1.7.11-1_source.changes ACCEPTED into unstable
coq-serapi_8.20.0+0.20.0-1_source.changes ACCEPTED into unstable
coq-simple-io_1.10.0-1_source.changes ACCEPTED into unstable
coq-stdpp_1.11.0-1_source.changes ACCEPTED into unstable
coq-unicoq_1.6-8.19-3_source.changes ACCEPTED into unstable
coq-unicoq_1.6-8.20-1_source.changes ACCEPTED into unstable
coq-unimath_20240923-1_source.changes ACCEPTED into unstable
coq-unimath_20240923-2_source.changes ACCEPTED into unstable
coq_8.20.0+dfsg-1_source.changes ACCEPTED into unstable
coquelicot_3.4.2-1_source.changes ACCEPTED into unstable
elpi_1.19.6-1_source.changes ACCEPTED into unstable
flocq_4.2.0-1_source.changes ACCEPTED into unstable
hol-light_3.0.0-1_source.changes REJECTED
linksem_0.8+dfsg3-1_amd64.changes ACCEPTED into unstable
linksem_0.8+dfsg3-1_amd64.changes is NEW
mathcomp-analysis_1.6.0-1_source.changes ACCEPTED into unstable
mathcomp-analysis_1.6.0-2_source.changes ACCEPTED into unstable
mathcomp-analysis_1.7.0-1_source.changes ACCEPTED into unstable
mathcomp-finmap_2.1.0-3_source.changes ACCEPTED into unstable
mathcomp-multinomials_2.2.0-4_source.changes ACCEPTED into unstable
mathcomp-real-closed_2.0.1-1_source.changes ACCEPTED into unstable
ocaml-merlin_5.3-502+ds-1_source.changes ACCEPTED into unstable
paramcoq_1.1.3+coq8.20-1_source.changes ACCEPTED into unstable
Processing of aac-tactics_8.20.0-1_source.changes
Processing of belenios_3.0+dfsg-1_source.changes
Processing of coq-corn_8.19.0+ds1-2_source.changes
Processing of coq-dpdgraph_1.0+8.20-1_source.changes
Processing of coq-elpi_2.2.3-1_source.changes
Processing of coq-equations_1.3.1-8.20-1_source.changes
Processing of coq-ext-lib_0.12.2-1_source.changes
Processing of coq-hammer_1.3.2+8.20-1_source.changes
Processing of coq-hott_8.20-1_source.changes
Processing of coq-interval_4.11.1-1_source.changes
Processing of coq-iris_4.3.0-1_source.changes
Processing of coq-menhirlib_20240715+ds-1_source.changes
Processing of coq-mtac2_1.4+8.19-3_source.changes
Processing of coq-mtac2_1.4+8.20-1_source.changes
Processing of coq-quickchick_2.0.4-1_source.changes
Processing of coq-record-update_0.3.4-4_source.changes
Processing of coq-relation-algebra_1.7.11-1_source.changes
Processing of coq-serapi_8.20.0+0.20.0-1_source.changes
Processing of coq-simple-io_1.10.0-1_source.changes
Processing of coq-stdpp_1.11.0-1_source.changes
Processing of coq-unicoq_1.6-8.19-3_source.changes
Processing of coq-unicoq_1.6-8.20-1_source.changes
Processing of coq-unimath_20240923-1_source.changes
Processing of coq-unimath_20240923-2_source.changes
Processing of coq_8.20.0+dfsg-1_source.changes
Processing of coquelicot_3.4.2-1_source.changes
Processing of elpi_1.19.6-1_source.changes
Processing of flocq_4.2.0-1_source.changes
Processing of hol-light_3.0.0-1_source.changes
Processing of linksem_0.8+dfsg3-1_amd64.changes
Processing of mathcomp-analysis_1.6.0-1_source.changes
Processing of mathcomp-analysis_1.6.0-2_source.changes
Processing of mathcomp-analysis_1.7.0-1_source.changes
Processing of mathcomp-finmap_2.1.0-3_source.changes
Processing of mathcomp-multinomials_2.2.0-4_source.changes
Processing of mathcomp-real-closed_2.0.1-1_source.changes
Processing of ocaml-merlin_5.3-502+ds-1_source.changes
Processing of paramcoq_1.1.3+coq8.20-1_source.changes
Proposal Fulfilling
The last update was on 13:00 GMT Fri Nov 29. There are 114 messages. Page 1 of 1.
[Thread Index]
[Subject Index]
[Author Index]
[Other Debian Lists]
[Debian Home]
Mail converted by MHonArc
