debian-ocaml-maint May 2022 by author

[previous page]

Page 1 of 1

[next page]

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

Américo Monteiro

Bug#1011431: ocamlgraph: [INTL:pt] Update on Portuguese translation of MANPAGE May 22

Adrian Bunk

Bug#1010656: libcoq-mathcomp-finmap: Depends: coq- but it is not installable May 06
Bug#1010655: libcoq-mathcomp-bigenough: Depends: coq- but it is not installable May 06

Debian Bug Tracking System

Processed: fixed 1010656 in 1.5.1-4 May 06
Processed: tagging 957397, tagging 957514, tagging 1001337, tagging 957758, tagging 978782, tagging 1001354 ... May 08
Bug#1011966: marked as done (alt-ergo: autopkgtest regression: /usr/share/doc/alt-ergo/examples/valid/*.why: No such file or directory) May 28
Bug#1010656: marked as done (libcoq-mathcomp-finmap: Depends: coq- but it is not installable) May 06
Processed: coq breaks coquelicot autopkgtest: Compiled library Coquelicot.Rcomplements makes inconsistent assumptions over library Coq.Init.Ltac May 29
Processed: [bts-link] source package src:unison May 19
Processed: [bts-link] source package src:pyml May 30
Processed: Fixed package already in unstable May 29
Processed: coq breaks coq-bignums autopkgtest: Compiled library Bignums.BigN.BigN makes inconsistent assumptions over library Coq.Init.Ltac May 29
Processed: Fixed already May 29
Processed: severity of 1006588 is serious, severity of 1006519 is serious, severity of 995634 is serious ... May 09
Processed: bug 1009430 is forwarded to https://github.com/thierry-martinez/pyml/pull/75 May 26
Bug#1006512: marked as done (ocaml-cohttp: FTBFS with OpenSSL 3.0) May 15
Bug#1010655: marked as done (libcoq-mathcomp-bigenough: Depends: coq- but it is not installable) May 06
Processed: why3 breaks frama-c autopkgtest: undefined symbol: camlWhy3__Env__fun_3995" May 11

Debian FTP Masters

mathcomp-multinomials_1.5.5-4_source.changes ACCEPTED into unstable May 24
Processing of mathcomp-multinomials_1.5.5-2_amd64.changes May 05
Processing of paramcoq_1.1.3-2_source.changes May 17
mathcomp-bigenough_1.0.1-4_source.changes ACCEPTED into unstable May 06
Processing of mathcomp-finmap_1.5.1-4_source.changes May 06
Processing of mathcomp-algebra-tactics_1.0.0-1_source.changes May 18
Processing of coquelicot_3.2.0-2_source.changes May 17
mathcomp-zify_1.2.0+1.12+8.13-1_amd64.changes ACCEPTED into unstable, unstable May 16
mathcomp-multinomials_1.5.5-3_amd64.changes ACCEPTED into unstable, unstable May 19
Processing of coq-hierarchy-builder_1.2.1-7_source.changes May 12
Processing of coq_8.15.1+dfsg-2_source.changes May 20
Processing of mathcomp-algebra-tactics_1.0.0-2_source.changes May 22
Processing of mathcomp-bigenough_1.0.1-3_source.changes May 05
Processing of mathcomp-bigenough_1.0.1-5_source.changes May 23
Processing of coq-bignums_8.15.0-2_source.changes May 22
mathcomp-real-closed_1.1.2-1_amd64.changes is NEW May 06
Processing of paramcoq_1.1.3-3_source.changes May 22
mathcomp-zify_1.2.0+1.12+8.13-3_source.changes ACCEPTED into unstable May 23
psmt2-frontend_0.4.0-1_amd64.changes ACCEPTED into unstable, unstable May 12
mathcomp-finmap_1.5.1-5_source.changes ACCEPTED into unstable May 23
Processing of coq-bignums_8.15.0-2_source.changes May 29
mathcomp-real-closed_1.1.2-2_source.changes ACCEPTED into unstable May 24
Processing of mathcomp-multinomials_1.5.5-2_amd64.changes May 05
mathcomp-algebra-tactics_0.3.0-1_amd64.changes is NEW May 13
coquelicot_3.2.0-3_source.changes REJECTED May 29
Processing of mathcomp-multinomials_1.5.5-3_amd64.changes May 17
ocaml-ffmpeg_1.1.3-1_source.changes ACCEPTED into unstable May 28
Accepted coq 8.15.1+dfsg-2 (source) into unstable May 20
paramcoq_1.1.3-1_amd64.changes ACCEPTED into unstable, unstable May 15
mathcomp-finmap_1.5.1-4_source.changes ACCEPTED into unstable May 06
coq-bignums_8.15.0-1_amd64.changes ACCEPTED into unstable, unstable May 12
Processing of mathcomp-multinomials_1.5.5-4_source.changes May 24
Processing of mathcomp-analysis_0.5.0-4_source.changes May 24
mathcomp-multinomials_1.5.5-2_amd64.changes is NEW May 05
mathcomp-zify_1.2.0+1.12+8.13-2_source.changes ACCEPTED into unstable May 17
mathcomp-algebra-tactics_1.0.0-1_source.changes ACCEPTED into unstable May 18
ocaml-ansi-terminal_0.8.4-1_source.changes ACCEPTED into unstable May 12
alt-ergo_2.4.1-2_source.changes ACCEPTED into unstable May 28
Processing of mathcomp-finmap_1.5.1-3_source.changes May 05
mathcomp-multinomials_1.5.5-3_amd64.changes is NEW May 17
paramcoq_1.1.3-3_source.changes ACCEPTED into unstable May 22
liquidsoap_2.0.5-1_source.changes ACCEPTED into unstable May 29
coq-elpi_1.14.0-1_source.changes ACCEPTED into unstable May 14
coq-bignums_8.15.0-2_source.changes ACCEPTED into unstable May 22
Processing of mathcomp-multinomials_1.5.5-2_amd64.changes May 05
Processing of mathcomp-finmap_1.5.1-5_source.changes May 23
Processing of ocaml-mm_0.8.1-1_source.changes May 28
Processing of coquelicot_3.2.0-1_amd64.changes May 09
Processing of ocaml-lame_0.3.6-1_source.changes May 30
Processing of coquelicot_3.2.0-3_source.changes May 23
coq-elpi_1.14.0-2_source.changes ACCEPTED into unstable May 21
coq-bignums_8.15.0-2_source.changes REJECTED May 29
menhir_20220210+ds-2_source.changes ACCEPTED into unstable May 13
Processing of coquelicot_3.2.0-3_source.changes May 29
Processing of paramcoq_1.1.3-1_amd64.changes May 11
Processing of coq-elpi_1.14.0-2_source.changes May 21
Processing of ocaml-ffmpeg_1.1.3-1_source.changes May 28
mathcomp-real-closed_1.1.2-1_amd64.changes ACCEPTED into unstable, unstable May 16
coq_8.15.1+dfsg-2_source.changes ACCEPTED into unstable May 20
Processing of alt-ergo_2.4.1-2_source.changes May 28
ocaml-faad_0.5.1-1_source.changes ACCEPTED into unstable May 28
coquelicot_3.2.0-3_source.changes ACCEPTED into unstable May 23
Processing of mathcomp-bigenough_1.0.1-4_source.changes May 06
Processing of mathcomp-real-closed_1.1.2-1_amd64.changes May 06
Processing of menhir_20220210+ds-2_source.changes May 13
Processing of ocaml-faad_0.5.1-1_source.changes May 28
coquelicot_3.2.0-1_amd64.changes ACCEPTED into unstable, unstable May 12
Processing of ocaml-ansi-terminal_0.8.4-1_source.changes May 12
coq-hierarchy-builder_1.2.1-6_source.changes ACCEPTED into unstable May 11
Processing of ssreflect_1.14.0-10_source.changes May 22
coq-bignums_8.15.0-1_amd64.changes is NEW May 05
paramcoq_1.1.3-2_source.changes ACCEPTED into unstable May 17
coquelicot_3.2.0-1_amd64.changes is NEW May 09
paramcoq_1.1.3-1_amd64.changes is NEW May 11
Processing of liquidsoap_2.0.5-1_source.changes May 29
Processing of mathcomp-zify_1.2.0+1.12+8.13-3_source.changes May 23
Processing of elpi_1.15.2-1_source.changes May 14
mathcomp-multinomials_1.5.5-2_amd64.changes REJECTED May 05
aac-tactics_8.15.1-4_source.changes ACCEPTED into unstable May 22
Processing of aac-tactics_8.15.1-4_source.changes May 22
Processing of coq-hierarchy-builder_1.2.1-8_source.changes May 22
elpi_1.15.2-1_source.changes ACCEPTED into unstable May 14
ssreflect_1.14.0-10_source.changes ACCEPTED into unstable May 22
mathcomp-algebra-tactics_0.3.0-1_amd64.changes ACCEPTED into unstable, unstable May 16
ocaml-lame_0.3.6-1_source.changes ACCEPTED into unstable May 30
Processing of coq-elpi_1.14.0-1_source.changes May 14
Processing of coq-hierarchy-builder_1.2.1-9_source.changes May 23
Processing of mathcomp-multinomials_1.5.5-1_amd64.changes May 05
coq-hierarchy-builder_1.2.1-7_source.changes ACCEPTED into unstable May 12
Processing of mathcomp-zify_1.2.0+1.12+8.13-2_source.changes May 17
coq-hierarchy-builder_1.2.1-8_source.changes ACCEPTED into unstable May 22
ocaml-mm_0.8.1-1_source.changes ACCEPTED into unstable May 28
mathcomp-bigenough_1.0.1-3_source.changes ACCEPTED into unstable May 05
Processing of coq-hierarchy-builder_1.2.1-6_source.changes May 11
Processing of coq_8.15.2+dfsg-1_source.changes May 31
why3_1.5.0-1_source.changes ACCEPTED into unstable May 03
mathcomp-algebra-tactics_1.0.0-2_source.changes ACCEPTED into unstable May 22
coq_8.15.2+dfsg-1_source.changes ACCEPTED into unstable May 31
Processing of ocaml-cry_0.6.7-1_source.changes May 28
mathcomp-analysis_0.5.0-4_source.changes ACCEPTED into unstable May 24
mathcomp-bigenough_1.0.1-5_source.changes ACCEPTED into unstable May 23
Accepted coq 8.15.2+dfsg-1 (source) into unstable May 31
Processing of mathcomp-algebra-tactics_0.3.0-1_amd64.changes May 13
Processing of coq-bignums_8.15.0-1_amd64.changes May 05
Processing of mathcomp-real-closed_1.1.2-2_source.changes May 24
Processing of why3_1.5.0-1_source.changes May 03
ocaml-cry_0.6.7-1_source.changes ACCEPTED into unstable May 28
coquelicot_3.2.0-2_source.changes ACCEPTED into unstable May 17
mathcomp-finmap_1.5.1-3_source.changes ACCEPTED into unstable May 05
mathcomp-multinomials_1.5.5-1_amd64.changes REJECTED May 05
coq-hierarchy-builder_1.2.1-9_source.changes ACCEPTED into unstable May 23

Debian testing autoremoval watch

coq-elpi is marked for autoremoval from testing May 26
ocaml-bos is marked for autoremoval from testing May 26
ocaml-uri is marked for autoremoval from testing May 26
xstrp4 is marked for autoremoval from testing May 26
ocaml-expat is marked for autoremoval from testing May 26
lablgtk3 is marked for autoremoval from testing May 26
lablgtk-extras is marked for autoremoval from testing May 26
pyml is marked for autoremoval from testing May 11
ocamldsort is marked for autoremoval from testing May 26
gmetadom is marked for autoremoval from testing May 26
ocaml-inifiles is marked for autoremoval from testing May 26
pa-ounit is marked for autoremoval from testing May 26
cudf is marked for autoremoval from testing May 26
coq is marked for autoremoval from testing May 26
ocaml-alsa is marked for autoremoval from testing May 26
ocaml-dune is marked for autoremoval from testing May 26
ocaml-mad is marked for autoremoval from testing May 26
ocamlpam is marked for autoremoval from testing May 26
cryptokit is marked for autoremoval from testing May 26
ocaml-domain-name is marked for autoremoval from testing May 26
ocaml-speex is marked for autoremoval from testing May 26
ocaml-duppy is marked for autoremoval from testing May 26
lablgtk2 is marked for autoremoval from testing May 26
ocaml-mew-vi is marked for autoremoval from testing May 26
ocaml-angstrom is marked for autoremoval from testing May 26
ocaml-gstreamer is marked for autoremoval from testing May 26
mysql-ocaml is marked for autoremoval from testing May 26
pcre-ocaml is marked for autoremoval from testing May 26
lablgl is marked for autoremoval from testing May 26
ppx-here is marked for autoremoval from testing May 26
ocaml-luv is marked for autoremoval from testing May 26
ulex is marked for autoremoval from testing May 26
ocaml-extunix is marked for autoremoval from testing May 26
jsonm is marked for autoremoval from testing May 26
menhir is marked for autoremoval from testing May 26
ocaml-odoc is marked for autoremoval from testing May 26
ocamlgraph is marked for autoremoval from testing May 26
extlib is marked for autoremoval from testing May 26
meta-ocaml is marked for autoremoval from testing May 26
ocaml-csv is marked for autoremoval from testing May 26
ocaml-vorbis is marked for autoremoval from testing May 26
lwt is marked for autoremoval from testing May 26
oasis is marked for autoremoval from testing May 26
ocaml-astring is marked for autoremoval from testing May 26
ocaml-migrate-parsetree is marked for autoremoval from testing May 26
ocaml-parsexp is marked for autoremoval from testing May 26
hevea-doc is marked for autoremoval from testing May 26
ocaml-bigstringaf is marked for autoremoval from testing May 26
camlidl is marked for autoremoval from testing May 26
ocaml-mirage-crypto is marked for autoremoval from testing May 26
ulex0.8 is marked for autoremoval from testing May 26
ocaml-shout is marked for autoremoval from testing May 26
ocamlcreal is marked for autoremoval from testing May 26
caml2html is marked for autoremoval from testing May 26
planets is marked for autoremoval from testing May 26
ocaml-num is marked for autoremoval from testing May 26
elpi is marked for autoremoval from testing May 26
pgocaml is marked for autoremoval from testing May 26
lwt-ssl is marked for autoremoval from testing May 26
camlp5 is marked for autoremoval from testing May 26
ocaml-ssl is marked for autoremoval from testing May 26
cothreads is marked for autoremoval from testing May 26
ocaml-x509 is marked for autoremoval from testing May 26
ocaml-fdkaac is marked for autoremoval from testing May 26
react is marked for autoremoval from testing May 26
omake is marked for autoremoval from testing May 26
advi is marked for autoremoval from testing May 26
ocaml-bitstring is marked for autoremoval from testing May 26
tyxml is marked for autoremoval from testing May 26
js-of-ocaml is marked for autoremoval from testing May 26
dose3 is marked for autoremoval from testing May 26
ocaml-conduit is marked for autoremoval from testing May 26
ppx-bin-prot is marked for autoremoval from testing May 26
ocplib-endian is marked for autoremoval from testing May 26
ocaml-atd is marked for autoremoval from testing May 26
ocaml-duration is marked for autoremoval from testing May 26
ocaml-hmap is marked for autoremoval from testing May 26
cairo-ocaml is marked for autoremoval from testing May 26
cryptgps is marked for autoremoval from testing May 26
laby is marked for autoremoval from testing May 26
liquidsoap is marked for autoremoval from testing May 26
zed is marked for autoremoval from testing May 26
janest-base is marked for autoremoval from testing May 26
bin-prot is marked for autoremoval from testing May 26
postgresql-ocaml is marked for autoremoval from testing May 26
variantslib is marked for autoremoval from testing May 26
ocaml-mccs is marked for autoremoval from testing May 26
camlidl-doc is marked for autoremoval from testing May 26
ppx-derivers is marked for autoremoval from testing May 26
ocamlmakefile is marked for autoremoval from testing May 26
ocaml-fileutils is marked for autoremoval from testing May 26
ocaml-result is marked for autoremoval from testing May 26
why3 is marked for autoremoval from testing May 20
ppx-deriving-yojson is marked for autoremoval from testing May 26
eliom is marked for autoremoval from testing May 11
ocaml-flac is marked for autoremoval from testing May 26
ocamlrss is marked for autoremoval from testing May 26
ocaml-gavl is marked for autoremoval from testing May 26
camljava is marked for autoremoval from testing May 26
ocaml-config-file is marked for autoremoval from testing May 26
ocaml-usb is marked for autoremoval from testing May 26
mlgmp is marked for autoremoval from testing May 26
ocamlmod is marked for autoremoval from testing May 26
fieldslib is marked for autoremoval from testing May 26
uuidm is marked for autoremoval from testing May 26
lambda-term is marked for autoremoval from testing May 26
ocaml-cairo2 is marked for autoremoval from testing May 26
camlimages is marked for autoremoval from testing May 26
ocaml-mew is marked for autoremoval from testing May 26
labltk is marked for autoremoval from testing May 26
ocaml-stringext is marked for autoremoval from testing May 26
camlzip is marked for autoremoval from testing May 26
ocsipersist is marked for autoremoval from testing May 11
ocaml-gnuplot is marked for autoremoval from testing May 26
ocaml-hex is marked for autoremoval from testing May 26
coinst is marked for autoremoval from testing May 26
ocaml-bigarray-compat is marked for autoremoval from testing May 26
ocaml-topkg is marked for autoremoval from testing May 26
ocaml-gen is marked for autoremoval from testing May 26
ocaml-voaacenc is marked for autoremoval from testing May 26
camltemplate is marked for autoremoval from testing May 26
utop is marked for autoremoval from testing May 26
opam-file-format is marked for autoremoval from testing May 26
js-of-ocaml-ocamlbuild is marked for autoremoval from testing May 26
tuareg-mode is marked for autoremoval from testing May 26
ocamlodbc is marked for autoremoval from testing May 26
ppx-custom-printf is marked for autoremoval from testing May 26
mathcomp-analysis is marked for autoremoval from testing May 26
ocaml-benchmark is marked for autoremoval from testing May 26
freetennis is marked for autoremoval from testing May 26
ocaml-alcotest is marked for autoremoval from testing May 26
coquelicot is marked for autoremoval from testing May 26
easy-format is marked for autoremoval from testing May 26
ocaml-charinfo-width is marked for autoremoval from testing May 26
ocaml-soundtouch is marked for autoremoval from testing May 26
ocaml-shine is marked for autoremoval from testing May 26
ocaml-mtime is marked for autoremoval from testing May 26
ocamlgsl is marked for autoremoval from testing May 26
ocaml-mmap is marked for autoremoval from testing May 26
ocaml-magic-mime is marked for autoremoval from testing May 26
ocaml-cry is marked for autoremoval from testing May 26
ocamlbuild is marked for autoremoval from testing May 26
mlpost is marked for autoremoval from testing May 26
ocaml-ao is marked for autoremoval from testing May 26
ppx-tools is marked for autoremoval from testing May 26
ocaml-expect is marked for autoremoval from testing May 26
ppx-import is marked for autoremoval from testing May 26
ocaml-faad is marked for autoremoval from testing May 26
ocamlnet is marked for autoremoval from testing May 26
camlp4 is marked for autoremoval from testing May 26
camlmix is marked for autoremoval from testing May 26
ocaml-mm is marked for autoremoval from testing May 26
ocaml-dbus is marked for autoremoval from testing May 26
ocsigenserver is marked for autoremoval from testing May 11
belenios is marked for autoremoval from testing May 26
ocp-indent is marked for autoremoval from testing May 26
ocamlweb is marked for autoremoval from testing May 26
spamoracle is marked for autoremoval from testing May 26
yojson is marked for autoremoval from testing May 26
ocaml-ffmpeg is marked for autoremoval from testing May 26
ssreflect is marked for autoremoval from testing May 26
ocaml-bjack is marked for autoremoval from testing May 26
findlib is marked for autoremoval from testing May 26
ocaml-ptime is marked for autoremoval from testing May 26
ocaml-zarith is marked for autoremoval from testing May 26
obus is marked for autoremoval from testing May 26
ocaml-csexp is marked for autoremoval from testing May 26
nurpawiki is marked for autoremoval from testing May 11
ppx-fields-conv is marked for autoremoval from testing May 26
frama-c is marked for autoremoval from testing May 20
coccinelle is marked for autoremoval from testing May 11
coq-hierarchy-builder is marked for autoremoval from testing May 26
ocaml-pbkdf is marked for autoremoval from testing May 26
camlbz2 is marked for autoremoval from testing May 26
ocaml-ladspa is marked for autoremoval from testing May 26
ocaml-ctypes is marked for autoremoval from testing May 26
ocaml-gettext is marked for autoremoval from testing May 26
ocaml-samplerate is marked for autoremoval from testing May 26
ocaml-ptmap is marked for autoremoval from testing May 26
ocaml-cpu is marked for autoremoval from testing May 26
mathcomp-finmap is marked for autoremoval from testing May 26
ocaml-gmap is marked for autoremoval from testing May 26
ocaml-eqaf is marked for autoremoval from testing May 26
ppx-deriving is marked for autoremoval from testing May 26
hevea is marked for autoremoval from testing May 26
ocaml-re is marked for autoremoval from testing May 26
ocaml-doc is marked for autoremoval from testing May 26
ocaml-portaudio is marked for autoremoval from testing May 26
ocaml-theora is marked for autoremoval from testing May 26
lwt-log is marked for autoremoval from testing May 26
ocaml-logs is marked for autoremoval from testing May 26
ocaml-trie is marked for autoremoval from testing May 26
wyrd is marked for autoremoval from testing May 26
ppx-compare is marked for autoremoval from testing May 26
nproc is marked for autoremoval from testing May 26
ocaml-dssi is marked for autoremoval from testing May 26
ocaml-stdcompat is marked for autoremoval from testing May 26
xmlrpc-light is marked for autoremoval from testing May 26
ocaml-visitors is marked for autoremoval from testing May 26
ocaml-integers is marked for autoremoval from testing May 26
ocplib-simplex is marked for autoremoval from testing May 26
ppx-sexp-conv is marked for autoremoval from testing May 26
morbig is marked for autoremoval from testing May 26
ocaml-inotify is marked for autoremoval from testing May 26
prooftree is marked for autoremoval from testing May 26
perl4caml is marked for autoremoval from testing May 26
gd4o is marked for autoremoval from testing May 26
ocaml-pulseaudio is marked for autoremoval from testing May 26
ocaml-curses is marked for autoremoval from testing May 26
ocurl is marked for autoremoval from testing May 26
pagodacf is marked for autoremoval from testing May 26
ocaml-taglib is marked for autoremoval from testing May 26
ocaml-sqlite3 is marked for autoremoval from testing May 26
ocaml-ogg is marked for autoremoval from testing May 26
ocaml-res is marked for autoremoval from testing May 26
cmdliner is marked for autoremoval from testing May 26
ocaml-cohttp is marked for autoremoval from testing May 11
unison-2.51+4.13.1 is marked for autoremoval from testing May 26
janest-ocaml-compiler-libs is marked for autoremoval from testing May 26
camlpdf is marked for autoremoval from testing May 26
ocaml-tools is marked for autoremoval from testing May 26
biniou is marked for autoremoval from testing May 26
psmt2-frontend is marked for autoremoval from testing May 26
alt-ergo is marked for autoremoval from testing May 26
ocaml-parany is marked for autoremoval from testing May 26
ocaml-obuild is marked for autoremoval from testing May 26
ocaml-fmt is marked for autoremoval from testing May 26
cppo is marked for autoremoval from testing May 26
ocaml-magic is marked for autoremoval from testing May 26
ocaml-sha is marked for autoremoval from testing May 26
ocaml-http is marked for autoremoval from testing May 26
xml-light is marked for autoremoval from testing May 26
coq-bignums is marked for autoremoval from testing May 26
ocaml-frei0r is marked for autoremoval from testing May 26
bibtex2html is marked for autoremoval from testing May 26
ocaml-qtest is marked for autoremoval from testing May 26
mathcomp-real-closed is marked for autoremoval from testing May 26
unison-2.52 is marked for autoremoval from testing May 26
camomile is marked for autoremoval from testing May 26
morsmall is marked for autoremoval from testing May 26
facile is marked for autoremoval from testing May 26
xmlm is marked for autoremoval from testing May 26
tophide is marked for autoremoval from testing May 26
dh-ocaml is marked for autoremoval from testing May 26
ocaml is marked for autoremoval from testing May 26
reactivedata is marked for autoremoval from testing May 26
ocaml-qcheck is marked for autoremoval from testing May 26
meta-unison is marked for autoremoval from testing May 26
typerep is marked for autoremoval from testing May 26
ocaml-fpath is marked for autoremoval from testing May 26
ocaml-graphics is marked for autoremoval from testing May 26
ocaml-odoc-parser is marked for autoremoval from testing May 26
ocaml-rresult is marked for autoremoval from testing May 26
parmap is marked for autoremoval from testing May 26
ocamlify is marked for autoremoval from testing May 26
ounit is marked for autoremoval from testing May 26
hlins is marked for autoremoval from testing May 26
ocaml-opus is marked for autoremoval from testing May 26
pxp is marked for autoremoval from testing May 26
ocaml-ansi-terminal is marked for autoremoval from testing May 26
ocaml-lame is marked for autoremoval from testing May 26
ocaml-ca-certs is marked for autoremoval from testing May 26
sexplib310 is marked for autoremoval from testing May 26
ocaml-sexplib0 is marked for autoremoval from testing May 26
coq-doc is marked for autoremoval from testing May 26
caml-mode is marked for autoremoval from testing May 26
mlpcap is marked for autoremoval from testing May 26
ocaml-batteries is marked for autoremoval from testing May 26
mathcomp-bigenough is marked for autoremoval from testing May 26
ocaml-lastfm is marked for autoremoval from testing May 26
ocaml-dtools is marked for autoremoval from testing May 26
ocaml-asn1-combinators is marked for autoremoval from testing May 26
opam is marked for autoremoval from testing May 26
ppx-optcomp is marked for autoremoval from testing May 26
aac-tactics is marked for autoremoval from testing May 26
mathcomp-zify is marked for autoremoval from testing May 26
ocaml-getopt is marked for autoremoval from testing May 26
nss-passwords is marked for autoremoval from testing May 26
ben is marked for autoremoval from testing May 26
camlp-streams is marked for autoremoval from testing May 26
headache is marked for autoremoval from testing May 26
ppxlib is marked for autoremoval from testing May 26
ocamldap is marked for autoremoval from testing May 26
ocaml-ipaddr is marked for autoremoval from testing May 26
ocaml-base64 is marked for autoremoval from testing May 26
ppx-variants-conv is marked for autoremoval from testing May 26
ocaml-cstruct is marked for autoremoval from testing May 26
ledit is marked for autoremoval from testing May 26
uutf is marked for autoremoval from testing May 26
xstr is marked for autoremoval from testing May 26
syslog-ocaml is marked for autoremoval from testing May 26
ocamlsdl is marked for autoremoval from testing May 26
ocaml-sedlex is marked for autoremoval from testing May 26
ocaml-xmlplaylist is marked for autoremoval from testing May 26
ocaml-stdio is marked for autoremoval from testing May 26
ocamlviz is marked for autoremoval from testing May 26
ocaml-lo is marked for autoremoval from testing May 26
ocamlwc is marked for autoremoval from testing May 26
ocamlagrep is marked for autoremoval from testing May 26
ocaml-rope is marked for autoremoval from testing May 26

debian-bts-link

[bts-link] source package src:unison May 19
[bts-link] source package src:pyml May 30
[bts-link] source package mldonkey May 05

Julien Puydt

Bug#1010767: ITP: coquelicot -- Coq library for real analysis May 09
Bug#1010650: ITP: mathcomp-real-closed -- Real closed fields for Mathematical Components May 06
Bug#1011648: ITP: coq-serapi -- Coq plugin for data serialization May 25
Bug#1011347: RM: coq-float -- ROM; abandoned upstream since years May 20
Bug#1010637: ITP: mathcomp-multinomials -- Multivariate polynomials for Mathematical Components May 05
Bug#1010612: ITP: coq-bignums -- Coq library for big numbers May 05
Bug#1010852: ITP: paramcoq -- Coq plugin to generate parametricity statements May 11

Julien Puydt (@jpuydt)

[Git][ocaml-team/coq][pristine-tar] pristine-tar data for coq_8.15.2+dfsg.orig.tar.xz May 31
[Git][ocaml-team/ssreflect] Pushed new tag debian/1.14.0-10 May 22
[Git][ocaml-team/coq] Pushed new tag debian/8.15.1+dfsg-2 May 31
[Git][ocaml-team/coq] Pushed new tag debian/8.15.2+dfsg-1 May 31
[Git][ocaml-team/menhir] Pushed new tag debian/20220210+ds-2 May 13
[Git][ocaml-team/coq] Pushed new tag upstream/8.15.2+dfsg May 31
[Git][ocaml-team/aac-tactics] Pushed new tag debian/8.15.1-4 May 22

Kyle Robbertze (@paddatrapper)

[Git][ocaml-team/ocaml-cry][master] 4 commits: New upstream version 0.6.7 May 28
[Git][ocaml-team/liquidsoap][upstream] New upstream version 2.0.5 May 29
[Git][ocaml-team/ocaml-lame][pristine-tar] pristine-tar data for ocaml-lame_0.3.6.orig.tar.gz May 30
[Git][ocaml-team/ocaml-faad] Pushed new tag upstream/0.5.1 May 28
[Git][ocaml-team/ocaml-cry] Pushed new tag upstream/0.6.7 May 28
[Git][ocaml-team/ocaml-mm] Pushed new tag upstream/0.8.1 May 28
[Git][ocaml-team/liquidsoap][master] 5 commits: Bump standards-version to 4.6.1 (no change) May 29
[Git][ocaml-team/ocaml-mm][upstream] New upstream version 0.8.1 May 28
[Git][ocaml-team/ocaml-mm] Pushed new tag debian/0.8.1-1 May 28
[Git][ocaml-team/liquidsoap] Pushed new tag upstream/2.0.5 May 29
[Git][ocaml-team/ocaml-mm][pristine-tar] pristine-tar data for ocaml-mm_0.8.1.orig.tar.gz May 28
[Git][ocaml-team/liquidsoap][pristine-tar] pristine-tar data for liquidsoap_2.0.5.orig.tar.bz2 May 29

Nicolas Boulenguez

Paul Gevers

Ralf Treinen (@treinen)

[Git][ocaml-team/why3][master] 6 commits: New upstream version 1.5.0 May 03
[Git][ocaml-team/why3][pristine-tar] pristine-tar data for why3_1.5.0.orig.tar.gz May 03
[Git][ocaml-team/ocaml-expat][master] fix debian/watch May 28
[Git][ocaml-team/why3][upstream] New upstream version 1.5.0 May 03
[Git][ocaml-team/why3] Pushed new tag debian/1.5.0-1 May 03

Thorsten Alteholz

Comments regarding paramcoq_1.1.3-1_amd64.changes May 15
mathcomp-multinomials_1.5.5-2_amd64.changes REJECTED May 16
Comments regarding coquelicot_3.2.0-1_amd64.changes May 12

W illiams

opportunity May 23

The last update was on 21:00 GMT Tue May 31. There are 473 messages. Page 1 of 1.

[previous month]

[previous page]

Page 1 of 1

[next page]

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

Mail converted by MHonArc