debian-ocaml-maint Jun 2022 by subject
|
[previous page]
|
Page 1 of 1 |
[next page]
|
|
[Thread Index]
[Date Index]
[Author Index]
[Other Debian Lists]
[Debian Home]
[bts-link] source package src:alt-ergo
[bts-link] source package src:coq-doc
[Git][ocaml-team/aac-tactics] Pushed new tag debian/8.15.1-5
[Git][ocaml-team/aac-tactics] Pushed new tag debian/8.15.1-6
[Git][ocaml-team/alt-ergo] Pushed new tag debian/2.4.1-3
[Git][ocaml-team/cmdliner] Pushed new tag debian/1.1.1-1
[Git][ocaml-team/cmdliner] Pushed new tag upstream/1.1.1
[Git][ocaml-team/cmdliner][master] 5 commits: New upstream version 1.1.1
[Git][ocaml-team/cmdliner][pristine-tar] pristine-tar data for cmdliner_1.1.1.orig.tar.bz2
[Git][ocaml-team/cmdliner][upstream] New upstream version 1.1.1
[Git][ocaml-team/coq-doc] Pushed new tag debian/8.15.2-1
[Git][ocaml-team/coq-doc] Pushed new tag debian/8.15.2-2
[Git][ocaml-team/coq-doc] Pushed new tag upstream/8.15.2
[Git][ocaml-team/coq] Pushed new tag debian/8.15.2+dfsg-2
[Git][ocaml-team/frama-c] Pushed new branch experimental/master
[Git][ocaml-team/frama-c] Pushed new branch experimental/upstream
[Git][ocaml-team/frama-c] Pushed new tag debian/20220511-manganese-1
[Git][ocaml-team/frama-c] Pushed new tag debian/20220511-manganese-1.1
[Git][ocaml-team/frama-c] Pushed new tag debian/20220511-manganese-1.2
[Git][ocaml-team/frama-c] Pushed new tag debian/20220511-manganese-1.3
[Git][ocaml-team/frama-c] Pushed new tag upstream/20220511-manganese
[Git][ocaml-team/frama-c][experimental/master] 2 commits: remove mention of plugins ergo, coqwp from debian/copyright
[Git][ocaml-team/frama-c][experimental/master] add build-dep libppx-deriving-ocaml-dev
[Git][ocaml-team/frama-c][master] 2 commits: Also tighten the why3 dep for autopkgtest
[Git][ocaml-team/frama-c][master] 3 commits: Add crude depend on libppx-import-ocaml (why does dh-ocaml fail to detect it?)
[Git][ocaml-team/frama-c][master] 7 commits: New upstream version 20220511-manganese
[Git][ocaml-team/frama-c][upstream] New upstream version 20220511-manganese
[Git][ocaml-team/js-of-ocaml] Pushed new tag debian/4.0.0-2
[Git][ocaml-team/ssreflect] Pushed new tag debian/1.14.0-11
[Git][ocaml-team/ssreflect] Pushed new tag debian/1.14.0-12
aac-tactics is marked for autoremoval from testing
aac-tactics_8.15.1-5_source.changes ACCEPTED into unstable
aac-tactics_8.15.1-6_source.changes ACCEPTED into unstable
Accepted coq 8.15.2+dfsg-2 (source) into unstable
alt-ergo_2.4.1-3_source.changes ACCEPTED into unstable
ASDA- Monthly Purchase Order
Bug#1009430: marked as done (pyml: FTBFS: Test 'run file with filename' ... fails (?))
Bug#1010867: marked as done (why3 breaks frama-c autopkgtest: undefined symbol: camlWhy3__Env__fun_3995")
Bug#1011347: Removed package(s) from unstable
Bug#1012060: marked as done (coq breaks coq-bignums autopkgtest: Compiled library Bignums.BigN.BigN makes inconsistent assumptions over library Coq.Init.Ltac)
Bug#1012061: marked as done (coq breaks coquelicot autopkgtest: Compiled library Coquelicot.Rcomplements makes inconsistent assumptions over library Coq.Init.Ltac)
Bug#1012479: libcoq-paramcoq-ocaml: missing Breaks+Replaces: libcoq-paramcoq (<< 1.1.3-5)
Bug#1012479: marked as done (libcoq-paramcoq-ocaml: missing Breaks+Replaces: libcoq-paramcoq (<< 1.1.3-5))
Bug#1013362: src:alt-ergo: fails to migrate to testing for too long: FTBFS on armel, mips64el and mipsel
Bug#1013372: ITP: coq-dpdgraph -- Coq plugin to extract dependencies between Coq objects
Bug#1013949: ITP: coq-hott -- Coq library for homotopy type theory
Bug#1013963: ITP: coq-ext-lib -- Collection of theories and plugins for Coq
Bug#1013965: ITP: coqeal -- algebra and data structure algorithms for Coq
Bug#1014048: ITP: flocq -- Floating-point arithmetic for Coq
Bug#1014059: ITP: coq-math-classes -- Abstract interfaces for mathematical structures for Coq
Bug#1014118: ITP: ocaml-pprint -- Pretty printing toolbox for OCaml
Bug#582768: marked as done (proofgeneral: file-error "cannot open load file" "hilit19")
Bug#605014: marked as done (proofgeneral-coq: PG for coq unusable because hilit19 is missing)
Bug#605024: marked as done (coq: coq.el requires nonexistent hilit19)
Bug#979756: marked as done (Please compute ABIs for Coq libraries)
cmdliner_1.1.1-1_source.changes ACCEPTED into unstable
coccinelle is marked for autoremoval from testing
coq is marked for autoremoval from testing
coq-bignums is marked for autoremoval from testing
coq-bignums_8.15.0-3_source.changes ACCEPTED into unstable
coq-bignums_8.15.0-5_source.changes ACCEPTED into unstable
coq-bignums_8.15.0-6_source.changes ACCEPTED into unstable
coq-bignums_8.15.0-7_source.changes ACCEPTED into unstable
coq-doc is marked for autoremoval from testing
coq-doc_8.15.2-1_amd64.changes REJECTED
coq-doc_8.15.2-1_source.changes ACCEPTED into unstable
coq-doc_8.15.2-2_amd64.changes ACCEPTED into unstable
coq-dpdgraph_1.0+8.15-1_amd64.changes is NEW
coq-elpi is marked for autoremoval from testing
coq-elpi_1.14.0-3_source.changes ACCEPTED into unstable
coq-elpi_1.14.0-4_source.changes ACCEPTED into unstable
coq-elpi_1.14.0-5_source.changes ACCEPTED into unstable
coq-ext-lib_0.11.6-1_amd64.changes is NEW
coq-hierarchy-builder is marked for autoremoval from testing
coq-hierarchy-builder_1.2.1-10_source.changes ACCEPTED into unstable
coq-hierarchy-builder_1.2.1-11_source.changes ACCEPTED into unstable
coq-hott_8.15-1_amd64.changes is NEW
coq-math-classes_8.15.0-1_amd64.changes is NEW
coq_8.15.2+dfsg-2_source.changes ACCEPTED into unstable
coqeal_1.1.0-1_amd64.changes is NEW
coquelicot is marked for autoremoval from testing
coquelicot_3.2.0-4_source.changes ACCEPTED into unstable
coquelicot_3.2.0-5_source.changes ACCEPTED into unstable
coquelicot_3.2.0-6_source.changes ACCEPTED into unstable
dh-coq_0.2_source.changes ACCEPTED into unstable
dh-coq_0.3_source.changes ACCEPTED into unstable
First draft of dh-coq
flocq_4.1.0-1_amd64.changes ACCEPTED into unstable, unstable
flocq_4.1.0-1_amd64.changes is NEW
frama-c autopkgtest failing
frama-c is marked for autoremoval from testing
frama-c_20220511-manganese-1.1_source.changes ACCEPTED into unstable
frama-c_20220511-manganese-1.2_source.changes ACCEPTED into unstable
frama-c_20220511-manganese-1.3_source.changes ACCEPTED into unstable
frama-c_20220511-manganese-1_source.changes ACCEPTED into unstable
js-of-ocaml_4.0.0-2_source.changes ACCEPTED into unstable
mathcomp-algebra-tactics is marked for autoremoval from testing
mathcomp-algebra-tactics_1.0.0-3_source.changes ACCEPTED into unstable
mathcomp-algebra-tactics_1.0.0-4_source.changes ACCEPTED into unstable
mathcomp-algebra-tactics_1.0.0-5_source.changes ACCEPTED into unstable
mathcomp-analysis is marked for autoremoval from testing
mathcomp-analysis_0.5.0-5_source.changes ACCEPTED into unstable
mathcomp-analysis_0.5.1-1_source.changes ACCEPTED into unstable
mathcomp-analysis_0.5.1-2_source.changes ACCEPTED into unstable
mathcomp-bigenough is marked for autoremoval from testing
mathcomp-bigenough_1.0.1-6_source.changes ACCEPTED into unstable
mathcomp-bigenough_1.0.1-7_source.changes ACCEPTED into unstable
mathcomp-finmap is marked for autoremoval from testing
mathcomp-finmap_1.5.1-6_source.changes ACCEPTED into unstable
mathcomp-finmap_1.5.1-7_source.changes ACCEPTED into unstable
mathcomp-multinomials is marked for autoremoval from testing
mathcomp-multinomials_1.5.5-5_source.changes ACCEPTED into unstable
mathcomp-multinomials_1.5.5-7_source.changes ACCEPTED into unstable
mathcomp-real-closed is marked for autoremoval from testing
mathcomp-real-closed_1.1.2-3_source.changes ACCEPTED into unstable
mathcomp-real-closed_1.1.2-4_source.changes ACCEPTED into unstable
mathcomp-zify is marked for autoremoval from testing
mathcomp-zify_1.2.0+1.12+8.13-4_source.changes ACCEPTED into unstable
mathcomp-zify_1.2.0+1.12+8.13-5_source.changes ACCEPTED into unstable
ocaml-alcotest_1.6.0-1_source.changes ACCEPTED into unstable
ocaml-pprint_20220103-1_amd64.changes is NEW
paramcoq is marked for autoremoval from testing
paramcoq_1.1.3-4_source.changes ACCEPTED into unstable
paramcoq_1.1.3-5_amd64.changes ACCEPTED into unstable, unstable
paramcoq_1.1.3-5_amd64.changes is NEW
paramcoq_1.1.3-5_source.changes REJECTED
paramcoq_1.1.3-6_source.changes ACCEPTED into unstable
paramcoq_1.1.3-7_source.changes ACCEPTED into unstable
Processed: Fixed by the recent upload with the patch for sphinx 4.5.0
Processed: Forwarded upstream
Processed: Get rid of old bugs preventing testing migration
Processed: It's actually a sphinx issue
Processed: Let all things Coq go to testing already!
Processed: limit source to frama-c, tagging 1010867, tagging 1011892
Processed: limit source to pyml, tagging 1009430
Processed: Re: It's actually a sphinx issue
Processing of aac-tactics_8.15.1-5_source.changes
Processing of aac-tactics_8.15.1-6_source.changes
Processing of alt-ergo_2.4.1-3_source.changes
Processing of cmdliner_1.1.1-1_source.changes
Processing of coq-bignums_8.15.0-3_source.changes
Processing of coq-bignums_8.15.0-5_source.changes
Processing of coq-bignums_8.15.0-6_source.changes
Processing of coq-bignums_8.15.0-7_source.changes
Processing of coq-doc_8.15.2-1_amd64.changes
Processing of coq-doc_8.15.2-1_source.changes
Processing of coq-doc_8.15.2-2_amd64.changes
Processing of coq-dpdgraph_1.0+8.15-1_amd64.changes
Processing of coq-elpi_1.14.0-3_source.changes
Processing of coq-elpi_1.14.0-4_source.changes
Processing of coq-elpi_1.14.0-5_source.changes
Processing of coq-ext-lib_0.11.6-1_amd64.changes
Processing of coq-hierarchy-builder_1.2.1-10_source.changes
Processing of coq-hierarchy-builder_1.2.1-11_source.changes
Processing of coq-hott_8.15-1_amd64.changes
Processing of coq-math-classes_8.15.0-1_amd64.changes
Processing of coq_8.15.2+dfsg-2_source.changes
Processing of coqeal_1.1.0-1_amd64.changes
Processing of coquelicot_3.2.0-4_source.changes
Processing of coquelicot_3.2.0-5_source.changes
Processing of coquelicot_3.2.0-6_source.changes
Processing of dh-coq_0.2_source.changes
Processing of dh-coq_0.3_source.changes
Processing of flocq_4.1.0-1_amd64.changes
Processing of frama-c_20220511-manganese-1.1_source.changes
Processing of frama-c_20220511-manganese-1.2_source.changes
Processing of frama-c_20220511-manganese-1.3_source.changes
Processing of frama-c_20220511-manganese-1_source.changes
Processing of js-of-ocaml_4.0.0-2_source.changes
Processing of mathcomp-algebra-tactics_1.0.0-3_source.changes
Processing of mathcomp-algebra-tactics_1.0.0-4_source.changes
Processing of mathcomp-algebra-tactics_1.0.0-5_source.changes
Processing of mathcomp-analysis_0.5.0-5_source.changes
Processing of mathcomp-analysis_0.5.1-1_source.changes
Processing of mathcomp-analysis_0.5.1-2_source.changes
Processing of mathcomp-bigenough_1.0.1-6_source.changes
Processing of mathcomp-bigenough_1.0.1-7_source.changes
Processing of mathcomp-finmap_1.5.1-6_source.changes
Processing of mathcomp-finmap_1.5.1-7_source.changes
Processing of mathcomp-multinomials_1.5.5-5_source.changes
Processing of mathcomp-multinomials_1.5.5-7_source.changes
Processing of mathcomp-real-closed_1.1.2-3_source.changes
Processing of mathcomp-real-closed_1.1.2-4_source.changes
Processing of mathcomp-zify_1.2.0+1.12+8.13-4_source.changes
Processing of mathcomp-zify_1.2.0+1.12+8.13-5_source.changes
Processing of ocaml-alcotest_1.6.0-1_source.changes
Processing of ocaml-pprint_20220103-1_amd64.changes
Processing of paramcoq_1.1.3-4_source.changes
Processing of paramcoq_1.1.3-5_amd64.changes
Processing of paramcoq_1.1.3-5_source.changes
Processing of paramcoq_1.1.3-6_source.changes
Processing of paramcoq_1.1.3-7_source.changes
Processing of pyml_20220325-1_source.changes
Processing of ssreflect_1.14.0-11_source.changes
Processing of ssreflect_1.14.0-12_source.changes
Processing of wyrd_1.5.4-1_source.changes
Processing of wyrd_1.5.5-1_source.changes
prooftree is marked for autoremoval from testing
pyml is marked for autoremoval from testing
pyml_20220325-1_source.changes ACCEPTED into unstable
Request: autobuild src:coq-doc
ssreflect is marked for autoremoval from testing
ssreflect_1.14.0-11_source.changes ACCEPTED into unstable
ssreflect_1.14.0-12_source.changes ACCEPTED into unstable
Strange problem with frama-c -- dh-ocaml's fault?
why3 is marked for autoremoval from testing
wyrd_1.5.4-1_source.changes ACCEPTED into unstable
wyrd_1.5.5-1_source.changes ACCEPTED into unstable
The last update was on 17:00 GMT Thu Jun 30. There are 223 messages. Page 1 of 1.
[Thread Index]
[Subject Index]
[Author Index]
[Other Debian Lists]
[Debian Home]
Mail converted by MHonArc