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