debian-ocaml-maint Apr 2022 by author

[previous page]

Page 1 of 1

[next page]

[Thread Index] [Date Index] [Subject Index] [Other Debian Lists] [Debian Home]

---

Charles Plessy

• Bug#1010328: mldonkey-server: Please replace mime-support with media-types in Depends Apr 29

Debian Bug Tracking System

• Processed: tagging 1009272, tagging 1009280, tagging 1009276, tagging 1009273, tagging 955937, tagging 895957 ... Apr 11
• Bug#1009400: marked as done (mathcomp-analysis: FTBFS: Error: Cannot find library elpi.elpi in loadpath) Apr 13
• Bug#1009449: marked as done (coq-hierarchy-builder: FTBFS: make[2]: coq_makefile: No such file or directory) Apr 13

Debian FTP Masters

• Processing of aac-tactics_8.15.1-3_source.changes Apr 17
• aac-tactics_8.15.1-1_amd64.changes ACCEPTED into unstable, unstable Apr 04
• mathcomp-zify_1.2.0+1.12+8.13-1_amd64.changes is NEW Apr 22
• coq-elpi_1.13.0-7_source.changes ACCEPTED into unstable Apr 17
• Processing of coq-elpi_1.13.0-4_source.changes Apr 11
• psmt2-frontend_0.4.0-1_amd64.changes is NEW Apr 18
• mathcomp-analysis_0.5.0-3_source.changes ACCEPTED into unstable Apr 13
• Processing of alt-ergo_2.4.1-1_source.changes Apr 22
• Processing of coq-elpi_1.13.0-3_amd64.changes Apr 01
• aac-tactics_8.15.1-3_source.changes ACCEPTED into unstable Apr 17
• mathcomp-algebra-tactics_0.3.0-1_amd64.changes REJECTED Apr 22
• coq-elpi_1.13.0-6_source.changes ACCEPTED into unstable Apr 16
• Processing of ocaml-atd_2.4.1-1_source.changes Apr 07
• coq-elpi_1.13.0-5_source.changes ACCEPTED into unstable Apr 13
• coq-elpi_1.13.0-3_amd64.changes ACCEPTED into unstable, unstable Apr 01
• Processing of coq-elpi_1.13.0-7_source.changes Apr 17
• Processing of coq-elpi_1.13.0-5_source.changes Apr 13
• aac-tactics_8.15.1-1_amd64.changes is NEW Apr 03
• Processing of coq-elpi_1.13.0-3_source.changes Apr 01
• coq-hierarchy-builder_1.2.1-4_source.changes ACCEPTED into unstable Apr 13
• Processing of aac-tactics_8.15.1-2_source.changes Apr 13
• Processing of aac-tactics_8.15.1-1_amd64.changes Apr 03
• Processing of coq-elpi_1.13.0-6_source.changes Apr 16
• Processing of ssreflect_1.14.0-9_source.changes Apr 17
• aac-tactics_8.15.1-2_source.changes ACCEPTED into unstable Apr 13
• coq-elpi_1.13.0-4_source.changes ACCEPTED into unstable Apr 11
• ssreflect_1.14.0-9_source.changes ACCEPTED into unstable Apr 17
• Processing of coq-hierarchy-builder_1.2.1-4_source.changes Apr 13
• ocaml-atd_2.4.1-1_source.changes ACCEPTED into unstable Apr 07
• alt-ergo_2.4.1-1_source.changes ACCEPTED into unstable Apr 22
• Processing of mathcomp-analysis_0.5.0-3_source.changes Apr 13
• Processing of psmt2-frontend_0.4.0-1_amd64.changes Apr 18
• Processing of mathcomp-algebra-tactics_0.3.0-1_amd64.changes Apr 22
• coq-elpi_1.13.0-3_amd64.changes is NEW Apr 01
• Processing of mathcomp-zify_1.2.0+1.12+8.13-1_amd64.changes Apr 22
• coq-elpi_1.13.0-3_source.changes REJECTED Apr 01

Debian testing autoremoval watch

• pyml is marked for autoremoval from testing Apr 21
• coq-hierarchy-builder is marked for autoremoval from testing Apr 21
• coccinelle is marked for autoremoval from testing Apr 21
• mathcomp-analysis is marked for autoremoval from testing Apr 21

Debian testing watch

• coq 8.15.1+dfsg-1 MIGRATED to testing Apr 22

debian-bts-link

• [bts-link] source package mldonkey Apr 28

julien . puydt

• Re: On the coq ecosystem in Debian Apr 04
• Re: Updating menhir Apr 07
• Re: Updating menhir Apr 20

Julien Puydt

• Bug#1009116: ITP: pstm2-frontend -- Parse and type-check SMT-LIB 2 Apr 07
• Bug#1010007: ITP: mathcomp-zify -- Micromega arithmetic solvers for Mathematical Components Apr 22
• Bug#1010014: ITP: mathcomp-algebra-tactics -- Ring and field tactics for Mathematical Components Apr 22

Julien Puydt (@jpuydt)

• [Git][ocaml-team/alt-ergo][master] 11 commits: New upstream version 2.4.1 Apr 20
• [Git][ocaml-team/ocaml-atd][pristine-tar] pristine-tar data for ocaml-atd_2.4.1.orig.tar.gz Apr 07
• [Git][ocaml-team/aac-tactics][pristine-tar] pristine-tar data for aac-tactics_8.15.0.orig.tar.gz Apr 03
• [Git][ocaml-team/alt-ergo] Pushed new tag debian/2.4.1-1 Apr 22
• [Git][ocaml-team/ocaml-atd] Pushed new tag upstream/2.4.1 Apr 07
• [Git][ocaml-team/aac-tactics] Pushed new tag debian/8.15.1-1 Apr 03
• [Git][ocaml-team/alt-ergo][master] Prepare for upload Apr 22
• [Git][ocaml-team/aac-tactics] Pushed new tag debian/8.15.0-1 Apr 03
• [Git][ocaml-team/ssreflect] Pushed new tag debian/1.14.0-9 Apr 17
• [Git][ocaml-team/alt-ergo][upstream] New upstream version 2.4.1 Apr 20
• [Git][ocaml-team/alt-ergo][master] Fix d/watch Apr 07
• [Git][ocaml-team/aac-tactics] Pushed new tag upstream/8.15.1 Apr 03
• [Git][ocaml-team/aac-tactics] Pushed new tag upstream/8.15.0 Apr 03
• [Git][ocaml-team/ocaml-atd] Pushed new tag debian/2.4.1-1 Apr 07
• [Git][ocaml-team/aac-tactics][pristine-tar] pristine-tar data for aac-tactics_8.15.1.orig.tar.gz Apr 03
• [Git][ocaml-team/aac-tactics] Pushed new tag debian/8.15.1-2 Apr 13

Lucas Nussbaum

• Bug#1009449: coq-hierarchy-builder: FTBFS: make[2]: coq_makefile: No such file or directory Apr 12
• Bug#1009430: pyml: FTBFS: Test 'run file with filename' ... fails (?) Apr 12
• Bug#1009400: mathcomp-analysis: FTBFS: Error: Cannot find library elpi.elpi in loadpath Apr 12

Mikeo Esq

• deatils for you debian-ocaml-maint@lists.debian.org Apr 14

Rafael Laboissière

• Re: Bug#1009679: lintian: False positive for OCaml info files Apr 15

[previous month]

[first page]

[previous page]

Page 1 of 1

[next page]

[last page]

[next month]

[Thread Index] [Subject Index] [Author Index] [Other Debian Lists] [Debian Home]