debian-ocaml-maint Apr 2022 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]
[bts-link] source package mldonkey
[Git][ocaml-team/aac-tactics] Pushed new tag debian/8.15.0-1
[Git][ocaml-team/aac-tactics] Pushed new tag debian/8.15.1-1
[Git][ocaml-team/aac-tactics] Pushed new tag debian/8.15.1-2
[Git][ocaml-team/aac-tactics] Pushed new tag upstream/8.15.0
[Git][ocaml-team/aac-tactics] Pushed new tag upstream/8.15.1
[Git][ocaml-team/aac-tactics][pristine-tar] pristine-tar data for aac-tactics_8.15.0.orig.tar.gz
[Git][ocaml-team/aac-tactics][pristine-tar] pristine-tar data for aac-tactics_8.15.1.orig.tar.gz
[Git][ocaml-team/alt-ergo] Pushed new tag debian/2.4.1-1
[Git][ocaml-team/alt-ergo][master] 11 commits: New upstream version 2.4.1
[Git][ocaml-team/alt-ergo][master] Fix d/watch
[Git][ocaml-team/alt-ergo][master] Prepare for upload
[Git][ocaml-team/alt-ergo][upstream] New upstream version 2.4.1
[Git][ocaml-team/ocaml-atd] Pushed new tag debian/2.4.1-1
[Git][ocaml-team/ocaml-atd] Pushed new tag upstream/2.4.1
[Git][ocaml-team/ocaml-atd][pristine-tar] pristine-tar data for ocaml-atd_2.4.1.orig.tar.gz
[Git][ocaml-team/ssreflect] Pushed new tag debian/1.14.0-9
aac-tactics_8.15.1-1_amd64.changes ACCEPTED into unstable, unstable
aac-tactics_8.15.1-1_amd64.changes is NEW
aac-tactics_8.15.1-2_source.changes ACCEPTED into unstable
aac-tactics_8.15.1-3_source.changes ACCEPTED into unstable
alt-ergo_2.4.1-1_source.changes ACCEPTED into unstable
Bug#1009116: ITP: pstm2-frontend -- Parse and type-check SMT-LIB 2
Bug#1009400: marked as done (mathcomp-analysis: FTBFS: Error: Cannot find library elpi.elpi in loadpath)
Bug#1009400: mathcomp-analysis: FTBFS: Error: Cannot find library elpi.elpi in loadpath
Bug#1009430: pyml: FTBFS: Test 'run file with filename' ... fails (?)
Bug#1009449: coq-hierarchy-builder: FTBFS: make[2]: coq_makefile: No such file or directory
Bug#1009449: marked as done (coq-hierarchy-builder: FTBFS: make[2]: coq_makefile: No such file or directory)
Re: Bug#1009679: lintian: False positive for OCaml info files
Bug#1010007: ITP: mathcomp-zify -- Micromega arithmetic solvers for Mathematical Components
Bug#1010014: ITP: mathcomp-algebra-tactics -- Ring and field tactics for Mathematical Components
Bug#1010328: mldonkey-server: Please replace mime-support with media-types in Depends
coccinelle is marked for autoremoval from testing
coq 8.15.1+dfsg-1 MIGRATED to testing
coq-elpi_1.13.0-3_amd64.changes ACCEPTED into unstable, unstable
coq-elpi_1.13.0-3_amd64.changes is NEW
coq-elpi_1.13.0-3_source.changes REJECTED
coq-elpi_1.13.0-4_source.changes ACCEPTED into unstable
coq-elpi_1.13.0-5_source.changes ACCEPTED into unstable
coq-elpi_1.13.0-6_source.changes ACCEPTED into unstable
coq-elpi_1.13.0-7_source.changes ACCEPTED into unstable
coq-hierarchy-builder is marked for autoremoval from testing
coq-hierarchy-builder_1.2.1-4_source.changes ACCEPTED into unstable
deatils for you debian-ocaml-maint@lists.debian.org
mathcomp-algebra-tactics_0.3.0-1_amd64.changes REJECTED
mathcomp-analysis is marked for autoremoval from testing
mathcomp-analysis_0.5.0-3_source.changes ACCEPTED into unstable
mathcomp-zify_1.2.0+1.12+8.13-1_amd64.changes is NEW
ocaml-atd_2.4.1-1_source.changes ACCEPTED into unstable
Re: On the coq ecosystem in Debian
Processed: tagging 1009272, tagging 1009280, tagging 1009276, tagging 1009273, tagging 955937, tagging 895957 ...
Processing of aac-tactics_8.15.1-1_amd64.changes
Processing of aac-tactics_8.15.1-2_source.changes
Processing of aac-tactics_8.15.1-3_source.changes
Processing of alt-ergo_2.4.1-1_source.changes
Processing of coq-elpi_1.13.0-3_amd64.changes
Processing of coq-elpi_1.13.0-3_source.changes
Processing of coq-elpi_1.13.0-4_source.changes
Processing of coq-elpi_1.13.0-5_source.changes
Processing of coq-elpi_1.13.0-6_source.changes
Processing of coq-elpi_1.13.0-7_source.changes
Processing of coq-hierarchy-builder_1.2.1-4_source.changes
Processing of mathcomp-algebra-tactics_0.3.0-1_amd64.changes
Processing of mathcomp-analysis_0.5.0-3_source.changes
Processing of mathcomp-zify_1.2.0+1.12+8.13-1_amd64.changes
Processing of ocaml-atd_2.4.1-1_source.changes
Processing of psmt2-frontend_0.4.0-1_amd64.changes
Processing of ssreflect_1.14.0-9_source.changes
psmt2-frontend_0.4.0-1_amd64.changes is NEW
pyml is marked for autoremoval from testing
ssreflect_1.14.0-9_source.changes ACCEPTED into unstable
Re: Updating menhir
The last update was on 04:00 GMT Fri Apr 29. There are 73 messages. Page 1 of 1.
[Thread Index]
[Subject Index]
[Author Index]
[Other Debian Lists]
[Debian Home]
Mail converted by MHonArc
