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