debian-ocaml-maint May 2022 by thread
[Date Index]
[Subject Index]
[Author Index]
[Other Debian Lists]
[Debian Home]
- [Git][ocaml-team/why3][master] 6 commits: New upstream version 1.5.0 Ralf Treinen (@treinen)
- [Git][ocaml-team/why3][pristine-tar] pristine-tar data for why3_1.5.0.orig.tar.gz Ralf Treinen (@treinen)
- [Git][ocaml-team/why3][upstream] New upstream version 1.5.0 Ralf Treinen (@treinen)
- Processing of why3_1.5.0-1_source.changes Debian FTP Masters
- why3_1.5.0-1_source.changes ACCEPTED into unstable Debian FTP Masters
- [Git][ocaml-team/why3] Pushed new tag debian/1.5.0-1 Ralf Treinen (@treinen)
- Bug#1010612: ITP: coq-bignums -- Coq library for big numbers Julien Puydt
- Processing of coq-bignums_8.15.0-1_amd64.changes Debian FTP Masters
- coq-bignums_8.15.0-1_amd64.changes is NEW Debian FTP Masters
- [bts-link] source package mldonkey debian-bts-link
- Bug#1010637: ITP: mathcomp-multinomials -- Multivariate polynomials for Mathematical Components Julien Puydt
- Processing of mathcomp-multinomials_1.5.5-1_amd64.changes Debian FTP Masters
- mathcomp-multinomials_1.5.5-1_amd64.changes REJECTED Debian FTP Masters
- Processing of mathcomp-multinomials_1.5.5-2_amd64.changes Debian FTP Masters
- Processing of mathcomp-bigenough_1.0.1-3_source.changes Debian FTP Masters
- Processing of mathcomp-finmap_1.5.1-3_source.changes Debian FTP Masters
- mathcomp-bigenough_1.0.1-3_source.changes ACCEPTED into unstable Debian FTP Masters
- mathcomp-finmap_1.5.1-3_source.changes ACCEPTED into unstable Debian FTP Masters
- mathcomp-multinomials_1.5.5-2_amd64.changes REJECTED Debian FTP Masters
- mathcomp-multinomials_1.5.5-2_amd64.changes is NEW Debian FTP Masters
- Bug#1010650: ITP: mathcomp-real-closed -- Real closed fields for Mathematical Components Julien Puydt
- Bug#1010656: libcoq-mathcomp-finmap: Depends: coq- but it is not installable Adrian Bunk
- Bug#1010655: libcoq-mathcomp-bigenough: Depends: coq- but it is not installable Adrian Bunk
- Processing of mathcomp-bigenough_1.0.1-4_source.changes Debian FTP Masters
- Processing of mathcomp-finmap_1.5.1-4_source.changes Debian FTP Masters
- mathcomp-bigenough_1.0.1-4_source.changes ACCEPTED into unstable Debian FTP Masters
- mathcomp-finmap_1.5.1-4_source.changes ACCEPTED into unstable Debian FTP Masters
- Processing of mathcomp-real-closed_1.1.2-1_amd64.changes Debian FTP Masters
- mathcomp-real-closed_1.1.2-1_amd64.changes is NEW Debian FTP Masters
- Processed: fixed 1010656 in 1.5.1-4 Debian Bug Tracking System
- Processed: tagging 957397, tagging 957514, tagging 1001337, tagging 957758, tagging 978782, tagging 1001354 ... Debian Bug Tracking System
- Bug#1010767: ITP: coquelicot -- Coq library for real analysis Julien Puydt
- Processing of coquelicot_3.2.0-1_amd64.changes Debian FTP Masters
- coquelicot_3.2.0-1_amd64.changes is NEW Debian FTP Masters
- Processed: severity of 1006588 is serious, severity of 1006519 is serious, severity of 995634 is serious ... Debian Bug Tracking System
- coccinelle is marked for autoremoval from testing Debian testing autoremoval watch
- pyml is marked for autoremoval from testing Debian testing autoremoval watch
- ocsigenserver is marked for autoremoval from testing Debian testing autoremoval watch
- ocsipersist is marked for autoremoval from testing Debian testing autoremoval watch
- nurpawiki is marked for autoremoval from testing Debian testing autoremoval watch
- ocaml-cohttp is marked for autoremoval from testing Debian testing autoremoval watch
- eliom is marked for autoremoval from testing Debian testing autoremoval watch
- Bug#1010852: ITP: paramcoq -- Coq plugin to generate parametricity statements Julien Puydt
- Processing of paramcoq_1.1.3-1_amd64.changes Debian FTP Masters
- Processing of coq-hierarchy-builder_1.2.1-6_source.changes Debian FTP Masters
- coq-hierarchy-builder_1.2.1-6_source.changes ACCEPTED into unstable Debian FTP Masters
- paramcoq_1.1.3-1_amd64.changes is NEW Debian FTP Masters
- Bug#1010867: why3 breaks frama-c autopkgtest: undefined symbol: camlWhy3__Env__fun_3995" Paul Gevers
- Processing of coq-hierarchy-builder_1.2.1-7_source.changes Debian FTP Masters
- coq-hierarchy-builder_1.2.1-7_source.changes ACCEPTED into unstable Debian FTP Masters
- Processing of ocaml-ansi-terminal_0.8.4-1_source.changes Debian FTP Masters
- ocaml-ansi-terminal_0.8.4-1_source.changes ACCEPTED into unstable Debian FTP Masters
- Comments regarding coquelicot_3.2.0-1_amd64.changes Thorsten Alteholz
- coq-bignums_8.15.0-1_amd64.changes ACCEPTED into unstable, unstable Debian FTP Masters
- coquelicot_3.2.0-1_amd64.changes ACCEPTED into unstable, unstable Debian FTP Masters
- psmt2-frontend_0.4.0-1_amd64.changes ACCEPTED into unstable, unstable Debian FTP Masters
- Processing of mathcomp-algebra-tactics_0.3.0-1_amd64.changes Debian FTP Masters
- mathcomp-algebra-tactics_0.3.0-1_amd64.changes is NEW Debian FTP Masters
- [Git][ocaml-team/menhir] Pushed new tag debian/20220210+ds-2 Julien Puydt (@jpuydt)
- Processing of menhir_20220210+ds-2_source.changes Debian FTP Masters
- menhir_20220210+ds-2_source.changes ACCEPTED into unstable Debian FTP Masters
- Processing of elpi_1.15.2-1_source.changes Debian FTP Masters
- elpi_1.15.2-1_source.changes ACCEPTED into unstable Debian FTP Masters
- Processing of coq-elpi_1.14.0-1_source.changes Debian FTP Masters
- coq-elpi_1.14.0-1_source.changes ACCEPTED into unstable Debian FTP Masters
- Bug#1006512: marked as done (ocaml-cohttp: FTBFS with OpenSSL 3.0) Debian Bug Tracking System
- Comments regarding paramcoq_1.1.3-1_amd64.changes Thorsten Alteholz
- paramcoq_1.1.3-1_amd64.changes ACCEPTED into unstable, unstable Debian FTP Masters
- mathcomp-algebra-tactics_0.3.0-1_amd64.changes ACCEPTED into unstable, unstable Debian FTP Masters
- mathcomp-real-closed_1.1.2-1_amd64.changes ACCEPTED into unstable, unstable Debian FTP Masters
- mathcomp-zify_1.2.0+1.12+8.13-1_amd64.changes ACCEPTED into unstable, unstable Debian FTP Masters
- Processing of mathcomp-zify_1.2.0+1.12+8.13-2_source.changes Debian FTP Masters
- Processing of coquelicot_3.2.0-2_source.changes Debian FTP Masters
- Processing of paramcoq_1.1.3-2_source.changes Debian FTP Masters
- Processing of mathcomp-multinomials_1.5.5-3_amd64.changes Debian FTP Masters
- coquelicot_3.2.0-2_source.changes ACCEPTED into unstable Debian FTP Masters
- mathcomp-multinomials_1.5.5-3_amd64.changes is NEW Debian FTP Masters
- mathcomp-zify_1.2.0+1.12+8.13-2_source.changes ACCEPTED into unstable Debian FTP Masters
- paramcoq_1.1.3-2_source.changes ACCEPTED into unstable Debian FTP Masters
- Processing of mathcomp-algebra-tactics_1.0.0-1_source.changes Debian FTP Masters
- mathcomp-algebra-tactics_1.0.0-1_source.changes ACCEPTED into unstable Debian FTP Masters
- mathcomp-multinomials_1.5.5-3_amd64.changes ACCEPTED into unstable, unstable Debian FTP Masters
- [bts-link] source package src:unison debian-bts-link
- frama-c is marked for autoremoval from testing Debian testing autoremoval watch
- why3 is marked for autoremoval from testing Debian testing autoremoval watch
- Bug#1011323: lablgtk2: Please remove the obsolete gtkgl/glarea component Nicolas Boulenguez
- Bug#1011347: RM: coq-float -- ROM; abandoned upstream since years Julien Puydt
- Processing of coq_8.15.1+dfsg-2_source.changes Debian FTP Masters
- coq_8.15.1+dfsg-2_source.changes ACCEPTED into unstable Debian FTP Masters
- Accepted coq 8.15.1+dfsg-2 (source) into unstable Debian FTP Masters
- Processing of coq-elpi_1.14.0-2_source.changes Debian FTP Masters
- coq-elpi_1.14.0-2_source.changes ACCEPTED into unstable Debian FTP Masters
- [Git][ocaml-team/ssreflect] Pushed new tag debian/1.14.0-10 Julien Puydt (@jpuydt)
- [Git][ocaml-team/aac-tactics] Pushed new tag debian/8.15.1-4 Julien Puydt (@jpuydt)
- Processing of paramcoq_1.1.3-3_source.changes Debian FTP Masters
- Processing of aac-tactics_8.15.1-4_source.changes Debian FTP Masters
- Processing of ssreflect_1.14.0-10_source.changes Debian FTP Masters
- Processing of mathcomp-algebra-tactics_1.0.0-2_source.changes Debian FTP Masters
- Processing of coq-bignums_8.15.0-2_source.changes Debian FTP Masters
- Processing of coq-hierarchy-builder_1.2.1-8_source.changes Debian FTP Masters
- aac-tactics_8.15.1-4_source.changes ACCEPTED into unstable Debian FTP Masters
- coq-bignums_8.15.0-2_source.changes ACCEPTED into unstable Debian FTP Masters
- coq-hierarchy-builder_1.2.1-8_source.changes ACCEPTED into unstable Debian FTP Masters
- mathcomp-algebra-tactics_1.0.0-2_source.changes ACCEPTED into unstable Debian FTP Masters
- paramcoq_1.1.3-3_source.changes ACCEPTED into unstable Debian FTP Masters
- ssreflect_1.14.0-10_source.changes ACCEPTED into unstable Debian FTP Masters
- Bug#1011431: ocamlgraph: [INTL:pt] Update on Portuguese translation of MANPAGE Américo Monteiro
- opportunity W illiams
- Processing of mathcomp-zify_1.2.0+1.12+8.13-3_source.changes Debian FTP Masters
- mathcomp-zify_1.2.0+1.12+8.13-3_source.changes ACCEPTED into unstable Debian FTP Masters
- Processing of mathcomp-bigenough_1.0.1-5_source.changes Debian FTP Masters
- Processing of coquelicot_3.2.0-3_source.changes Debian FTP Masters
- coquelicot_3.2.0-3_source.changes ACCEPTED into unstable Debian FTP Masters
- mathcomp-bigenough_1.0.1-5_source.changes ACCEPTED into unstable Debian FTP Masters
- Processing of mathcomp-finmap_1.5.1-5_source.changes Debian FTP Masters
- mathcomp-finmap_1.5.1-5_source.changes ACCEPTED into unstable Debian FTP Masters
- Processing of coq-hierarchy-builder_1.2.1-9_source.changes Debian FTP Masters
- coq-hierarchy-builder_1.2.1-9_source.changes ACCEPTED into unstable Debian FTP Masters
- Processing of mathcomp-real-closed_1.1.2-2_source.changes Debian FTP Masters
- mathcomp-real-closed_1.1.2-2_source.changes ACCEPTED into unstable Debian FTP Masters
- Processing of mathcomp-multinomials_1.5.5-4_source.changes Debian FTP Masters
- mathcomp-multinomials_1.5.5-4_source.changes ACCEPTED into unstable Debian FTP Masters
- Processing of mathcomp-analysis_0.5.0-4_source.changes Debian FTP Masters
- mathcomp-analysis_0.5.0-4_source.changes ACCEPTED into unstable Debian FTP Masters
- Bug#1011648: ITP: coq-serapi -- Coq plugin for data serialization Julien Puydt
- ben is marked for autoremoval from testing Debian testing autoremoval watch
- belenios is marked for autoremoval from testing Debian testing autoremoval watch
- bibtex2html is marked for autoremoval from testing Debian testing autoremoval watch
- bin-prot is marked for autoremoval from testing Debian testing autoremoval watch
- biniou is marked for autoremoval from testing Debian testing autoremoval watch
- cairo-ocaml is marked for autoremoval from testing Debian testing autoremoval watch
- camlidl is marked for autoremoval from testing Debian testing autoremoval watch
- caml2html is marked for autoremoval from testing Debian testing autoremoval watch
- camljava is marked for autoremoval from testing Debian testing autoremoval watch
- camlidl-doc is marked for autoremoval from testing Debian testing autoremoval watch
- camltemplate is marked for autoremoval from testing Debian testing autoremoval watch
- camlmix is marked for autoremoval from testing Debian testing autoremoval watch
- camlp4 is marked for autoremoval from testing Debian testing autoremoval watch
- camlp5 is marked for autoremoval from testing Debian testing autoremoval watch
- camomile is marked for autoremoval from testing Debian testing autoremoval watch
- camlbz2 is marked for autoremoval from testing Debian testing autoremoval watch
- camlimages is marked for autoremoval from testing Debian testing autoremoval watch
- caml-mode is marked for autoremoval from testing Debian testing autoremoval watch
- camlp-streams is marked for autoremoval from testing Debian testing autoremoval watch
- camlpdf is marked for autoremoval from testing Debian testing autoremoval watch
- camlzip is marked for autoremoval from testing Debian testing autoremoval watch
- cmdliner is marked for autoremoval from testing Debian testing autoremoval watch
- coinst is marked for autoremoval from testing Debian testing autoremoval watch
- coq-bignums is marked for autoremoval from testing Debian testing autoremoval watch
- coq is marked for autoremoval from testing Debian testing autoremoval watch
- coq-elpi is marked for autoremoval from testing Debian testing autoremoval watch
- coq-doc is marked for autoremoval from testing Debian testing autoremoval watch
- coq-hierarchy-builder is marked for autoremoval from testing Debian testing autoremoval watch
- coquelicot is marked for autoremoval from testing Debian testing autoremoval watch
- cothreads is marked for autoremoval from testing Debian testing autoremoval watch
- cppo is marked for autoremoval from testing Debian testing autoremoval watch
- cryptgps is marked for autoremoval from testing Debian testing autoremoval watch
- cryptokit is marked for autoremoval from testing Debian testing autoremoval watch
- cudf is marked for autoremoval from testing Debian testing autoremoval watch
- dh-ocaml is marked for autoremoval from testing Debian testing autoremoval watch
- dose3 is marked for autoremoval from testing Debian testing autoremoval watch
- easy-format is marked for autoremoval from testing Debian testing autoremoval watch
- elpi is marked for autoremoval from testing Debian testing autoremoval watch
- extlib is marked for autoremoval from testing Debian testing autoremoval watch
- facile is marked for autoremoval from testing Debian testing autoremoval watch
- fieldslib is marked for autoremoval from testing Debian testing autoremoval watch
- findlib is marked for autoremoval from testing Debian testing autoremoval watch
- freetennis is marked for autoremoval from testing Debian testing autoremoval watch
- gd4o is marked for autoremoval from testing Debian testing autoremoval watch
- gmetadom is marked for autoremoval from testing Debian testing autoremoval watch
- headache is marked for autoremoval from testing Debian testing autoremoval watch
- hevea is marked for autoremoval from testing Debian testing autoremoval watch
- hevea-doc is marked for autoremoval from testing Debian testing autoremoval watch
- hlins is marked for autoremoval from testing Debian testing autoremoval watch
- janest-base is marked for autoremoval from testing Debian testing autoremoval watch
- janest-ocaml-compiler-libs is marked for autoremoval from testing Debian testing autoremoval watch
- js-of-ocaml-ocamlbuild is marked for autoremoval from testing Debian testing autoremoval watch
- js-of-ocaml is marked for autoremoval from testing Debian testing autoremoval watch
- jsonm is marked for autoremoval from testing Debian testing autoremoval watch
- lablgl is marked for autoremoval from testing Debian testing autoremoval watch
- lablgtk3 is marked for autoremoval from testing Debian testing autoremoval watch
- lablgtk2 is marked for autoremoval from testing Debian testing autoremoval watch
- laby is marked for autoremoval from testing Debian testing autoremoval watch
- lablgtk-extras is marked for autoremoval from testing Debian testing autoremoval watch
- lambda-term is marked for autoremoval from testing Debian testing autoremoval watch
- labltk is marked for autoremoval from testing Debian testing autoremoval watch
- ledit is marked for autoremoval from testing Debian testing autoremoval watch
- liquidsoap is marked for autoremoval from testing Debian testing autoremoval watch
- lwt-ssl is marked for autoremoval from testing Debian testing autoremoval watch
- lwt is marked for autoremoval from testing Debian testing autoremoval watch
- lwt-log is marked for autoremoval from testing Debian testing autoremoval watch
- mathcomp-finmap is marked for autoremoval from testing Debian testing autoremoval watch
- mathcomp-analysis is marked for autoremoval from testing Debian testing autoremoval watch
- mathcomp-zify is marked for autoremoval from testing Debian testing autoremoval watch
- mathcomp-real-closed is marked for autoremoval from testing Debian testing autoremoval watch
- mathcomp-bigenough is marked for autoremoval from testing Debian testing autoremoval watch
- menhir is marked for autoremoval from testing Debian testing autoremoval watch
- meta-unison is marked for autoremoval from testing Debian testing autoremoval watch
- meta-ocaml is marked for autoremoval from testing Debian testing autoremoval watch
- mlpcap is marked for autoremoval from testing Debian testing autoremoval watch
- mlpost is marked for autoremoval from testing Debian testing autoremoval watch
- mlgmp is marked for autoremoval from testing Debian testing autoremoval watch
- morbig is marked for autoremoval from testing Debian testing autoremoval watch
- morsmall is marked for autoremoval from testing Debian testing autoremoval watch
- mysql-ocaml is marked for autoremoval from testing Debian testing autoremoval watch
- nproc is marked for autoremoval from testing Debian testing autoremoval watch
- nss-passwords is marked for autoremoval from testing Debian testing autoremoval watch
- oasis is marked for autoremoval from testing Debian testing autoremoval watch
- obus is marked for autoremoval from testing Debian testing autoremoval watch
- ocaml is marked for autoremoval from testing Debian testing autoremoval watch
- ocaml-angstrom is marked for autoremoval from testing Debian testing autoremoval watch
- ocaml-ansi-terminal is marked for autoremoval from testing Debian testing autoremoval watch
- ocaml-asn1-combinators is marked for autoremoval from testing Debian testing autoremoval watch
- ocaml-bitstring is marked for autoremoval from testing Debian testing autoremoval watch
- ocaml-benchmark is marked for autoremoval from testing Debian testing autoremoval watch
- ocaml-bjack is marked for autoremoval from testing Debian testing autoremoval watch
- ocaml-cairo2 is marked for autoremoval from testing Debian testing autoremoval watch
- ocaml-ca-certs is marked for autoremoval from testing Debian testing autoremoval watch
- ocaml-bos is marked for autoremoval from testing Debian testing autoremoval watch
- ocaml-config-file is marked for autoremoval from testing Debian testing autoremoval watch
- ocaml-atd is marked for autoremoval from testing Debian testing autoremoval watch
- ocaml-charinfo-width is marked for autoremoval from testing Debian testing autoremoval watch
- ocaml-cpu is marked for autoremoval from testing Debian testing autoremoval watch
- ocaml-csexp is marked for autoremoval from testing Debian testing autoremoval watch
- ocaml-cry is marked for autoremoval from testing Debian testing autoremoval watch
- ocaml-csv is marked for autoremoval from testing Debian testing autoremoval watch
- ocaml-cstruct is marked for autoremoval from testing Debian testing autoremoval watch
- ocaml-curses is marked for autoremoval from testing Debian testing autoremoval watch
- ocaml-dbus is marked for autoremoval from testing Debian testing autoremoval watch
- ocaml-alsa is marked for autoremoval from testing Debian testing autoremoval watch
- ocaml-dune is marked for autoremoval from testing Debian testing autoremoval watch
- ocaml-alcotest is marked for autoremoval from testing Debian testing autoremoval watch
- ocaml-dssi is marked for autoremoval from testing Debian testing autoremoval watch
- ocaml-ao is marked for autoremoval from testing Debian testing autoremoval watch
- ocaml-duration is marked for autoremoval from testing Debian testing autoremoval watch
- ocaml-astring is marked for autoremoval from testing Debian testing autoremoval watch
- ocaml-duppy is marked for autoremoval from testing Debian testing autoremoval watch
- ocaml-base64 is marked for autoremoval from testing Debian testing autoremoval watch
- ocaml-batteries is marked for autoremoval from testing Debian testing autoremoval watch
- ocaml-bigarray-compat is marked for autoremoval from testing Debian testing autoremoval watch
- ocaml-eqaf is marked for autoremoval from testing Debian testing autoremoval watch
- ocaml-bigstringaf is marked for autoremoval from testing Debian testing autoremoval watch
- ocaml-fdkaac is marked for autoremoval from testing Debian testing autoremoval watch
- ocaml-extunix is marked for autoremoval from testing Debian testing autoremoval watch
- ocaml-faad is marked for autoremoval from testing Debian testing autoremoval watch
- ocaml-conduit is marked for autoremoval from testing Debian testing autoremoval watch
- ocaml-fileutils is marked for autoremoval from testing Debian testing autoremoval watch
- ocaml-flac is marked for autoremoval from testing Debian testing autoremoval watch
- ocaml-fmt is marked for autoremoval from testing Debian testing autoremoval watch
- ocaml-ctypes is marked for autoremoval from testing Debian testing autoremoval watch
- ocaml-gavl is marked for autoremoval from testing Debian testing autoremoval watch
- ocaml-doc is marked for autoremoval from testing Debian testing autoremoval watch
- ocaml-gen is marked for autoremoval from testing Debian testing autoremoval watch
- ocaml-frei0r is marked for autoremoval from testing Debian testing autoremoval watch
- ocaml-domain-name is marked for autoremoval from testing Debian testing autoremoval watch
- ocaml-gnuplot is marked for autoremoval from testing Debian testing autoremoval watch
- ocaml-gettext is marked for autoremoval from testing Debian testing autoremoval watch
- ocaml-dtools is marked for autoremoval from testing Debian testing autoremoval watch
- ocaml-expat is marked for autoremoval from testing Debian testing autoremoval watch
- ocaml-expect is marked for autoremoval from testing Debian testing autoremoval watch
- ocaml-gmap is marked for autoremoval from testing Debian testing autoremoval watch
- ocaml-gstreamer is marked for autoremoval from testing Debian testing autoremoval watch
- ocaml-http is marked for autoremoval from testing Debian testing autoremoval watch
- ocaml-ffmpeg is marked for autoremoval from testing Debian testing autoremoval watch
- ocaml-integers is marked for autoremoval from testing Debian testing autoremoval watch
- ocaml-inotify is marked for autoremoval from testing Debian testing autoremoval watch
- ocaml-ipaddr is marked for autoremoval from testing Debian testing autoremoval watch
- ocaml-fpath is marked for autoremoval from testing Debian testing autoremoval watch
- ocaml-ladspa is marked for autoremoval from testing Debian testing autoremoval watch
- ocaml-lame is marked for autoremoval from testing Debian testing autoremoval watch
- ocaml-lo is marked for autoremoval from testing Debian testing autoremoval watch
- ocaml-luv is marked for autoremoval from testing Debian testing autoremoval watch
- ocaml-logs is marked for autoremoval from testing Debian testing autoremoval watch
- ocaml-magic-mime is marked for autoremoval from testing Debian testing autoremoval watch
- ocaml-getopt is marked for autoremoval from testing Debian testing autoremoval watch
- ocaml-mccs is marked for autoremoval from testing Debian testing autoremoval watch
- ocaml-migrate-parsetree is marked for autoremoval from testing Debian testing autoremoval watch
- ocaml-mew is marked for autoremoval from testing Debian testing autoremoval watch
- ocaml-graphics is marked for autoremoval from testing Debian testing autoremoval watch
- ocaml-mirage-crypto is marked for autoremoval from testing Debian testing autoremoval watch
- ocaml-mtime is marked for autoremoval from testing Debian testing autoremoval watch
- ocaml-mm is marked for autoremoval from testing Debian testing autoremoval watch
- ocaml-hex is marked for autoremoval from testing Debian testing autoremoval watch
- ocaml-num is marked for autoremoval from testing Debian testing autoremoval watch
- ocaml-inifiles is marked for autoremoval from testing Debian testing autoremoval watch
- ocaml-hmap is marked for autoremoval from testing Debian testing autoremoval watch
- ocaml-odoc-parser is marked for autoremoval from testing Debian testing autoremoval watch
- ocaml-lastfm is marked for autoremoval from testing Debian testing autoremoval watch
- ocaml-odoc is marked for autoremoval from testing Debian testing autoremoval watch
- ocaml-parany is marked for autoremoval from testing Debian testing autoremoval watch
- ocaml-opus is marked for autoremoval from testing Debian testing autoremoval watch
- ocaml-parsexp is marked for autoremoval from testing Debian testing autoremoval watch
- ocaml-mad is marked for autoremoval from testing Debian testing autoremoval watch
- ocaml-magic is marked for autoremoval from testing Debian testing autoremoval watch
- ocaml-ptime is marked for autoremoval from testing Debian testing autoremoval watch
- ocaml-pbkdf is marked for autoremoval from testing Debian testing autoremoval watch
- ocaml-qcheck is marked for autoremoval from testing Debian testing autoremoval watch
- ocaml-portaudio is marked for autoremoval from testing Debian testing autoremoval watch
- ocaml-ptmap is marked for autoremoval from testing Debian testing autoremoval watch
- ocaml-mew-vi is marked for autoremoval from testing Debian testing autoremoval watch
- ocaml-re is marked for autoremoval from testing Debian testing autoremoval watch
- ocaml-res is marked for autoremoval from testing Debian testing autoremoval watch
- ocaml-result is marked for autoremoval from testing Debian testing autoremoval watch
- ocaml-mmap is marked for autoremoval from testing Debian testing autoremoval watch
- ocaml-samplerate is marked for autoremoval from testing Debian testing autoremoval watch
- ocaml-rope is marked for autoremoval from testing Debian testing autoremoval watch
- ocaml-obuild is marked for autoremoval from testing Debian testing autoremoval watch
- ocaml-rresult is marked for autoremoval from testing Debian testing autoremoval watch
- ocaml-ogg is marked for autoremoval from testing Debian testing autoremoval watch
- ocaml-sha is marked for autoremoval from testing Debian testing autoremoval watch
- ocaml-shine is marked for autoremoval from testing Debian testing autoremoval watch
- ocaml-speex is marked for autoremoval from testing Debian testing autoremoval watch
- ocaml-stdcompat is marked for autoremoval from testing Debian testing autoremoval watch
- ocaml-pulseaudio is marked for autoremoval from testing Debian testing autoremoval watch
- ocaml-qtest is marked for autoremoval from testing Debian testing autoremoval watch
- ocaml-stringext is marked for autoremoval from testing Debian testing autoremoval watch
- ocaml-taglib is marked for autoremoval from testing Debian testing autoremoval watch
- ocaml-topkg is marked for autoremoval from testing Debian testing autoremoval watch
- ocaml-theora is marked for autoremoval from testing Debian testing autoremoval watch
- ocaml-uri is marked for autoremoval from testing Debian testing autoremoval watch
- ocaml-sedlex is marked for autoremoval from testing Debian testing autoremoval watch
- ocaml-sexplib0 is marked for autoremoval from testing Debian testing autoremoval watch
- ocaml-usb is marked for autoremoval from testing Debian testing autoremoval watch
- ocaml-visitors is marked for autoremoval from testing Debian testing autoremoval watch
- ocaml-shout is marked for autoremoval from testing Debian testing autoremoval watch
- ocaml-zarith is marked for autoremoval from testing Debian testing autoremoval watch
- ocaml-soundtouch is marked for autoremoval from testing Debian testing autoremoval watch
- ocaml-sqlite3 is marked for autoremoval from testing Debian testing autoremoval watch
- ocaml-x509 is marked for autoremoval from testing Debian testing autoremoval watch
- ocamlagrep is marked for autoremoval from testing Debian testing autoremoval watch
- ocaml-xmlplaylist is marked for autoremoval from testing Debian testing autoremoval watch
- ocamlbuild is marked for autoremoval from testing Debian testing autoremoval watch
- ocaml-ssl is marked for autoremoval from testing Debian testing autoremoval watch
- ocamlcreal is marked for autoremoval from testing Debian testing autoremoval watch
- ocamlgraph is marked for autoremoval from testing Debian testing autoremoval watch
- ocaml-stdio is marked for autoremoval from testing Debian testing autoremoval watch
- ocamldap is marked for autoremoval from testing Debian testing autoremoval watch
- ocaml-tools is marked for autoremoval from testing Debian testing autoremoval watch
- ocaml-trie is marked for autoremoval from testing Debian testing autoremoval watch
- ocamlgsl is marked for autoremoval from testing Debian testing autoremoval watch
- ocamlodbc is marked for autoremoval from testing Debian testing autoremoval watch
- ocamlnet is marked for autoremoval from testing Debian testing autoremoval watch
- ocaml-voaacenc is marked for autoremoval from testing Debian testing autoremoval watch
- ocaml-vorbis is marked for autoremoval from testing Debian testing autoremoval watch
- ocamlpam is marked for autoremoval from testing Debian testing autoremoval watch
- ocamlweb is marked for autoremoval from testing Debian testing autoremoval watch
- ocamldsort is marked for autoremoval from testing Debian testing autoremoval watch
- ocp-indent is marked for autoremoval from testing Debian testing autoremoval watch
- ocamlify is marked for autoremoval from testing Debian testing autoremoval watch
- ocamlmakefile is marked for autoremoval from testing Debian testing autoremoval watch
- ocamlmod is marked for autoremoval from testing Debian testing autoremoval watch
- ocplib-simplex is marked for autoremoval from testing Debian testing autoremoval watch
- ocamlrss is marked for autoremoval from testing Debian testing autoremoval watch
- ocamlsdl is marked for autoremoval from testing Debian testing autoremoval watch
- ocamlviz is marked for autoremoval from testing Debian testing autoremoval watch
- ocamlwc is marked for autoremoval from testing Debian testing autoremoval watch
- ocplib-endian is marked for autoremoval from testing Debian testing autoremoval watch
- ocurl is marked for autoremoval from testing Debian testing autoremoval watch
- omake is marked for autoremoval from testing Debian testing autoremoval watch
- opam-file-format is marked for autoremoval from testing Debian testing autoremoval watch
- opam is marked for autoremoval from testing Debian testing autoremoval watch
- ounit is marked for autoremoval from testing Debian testing autoremoval watch
- pa-ounit is marked for autoremoval from testing Debian testing autoremoval watch
- pagodacf is marked for autoremoval from testing Debian testing autoremoval watch
- parmap is marked for autoremoval from testing Debian testing autoremoval watch
- pcre-ocaml is marked for autoremoval from testing Debian testing autoremoval watch
- perl4caml is marked for autoremoval from testing Debian testing autoremoval watch
- pgocaml is marked for autoremoval from testing Debian testing autoremoval watch
- planets is marked for autoremoval from testing Debian testing autoremoval watch
- postgresql-ocaml is marked for autoremoval from testing Debian testing autoremoval watch
- ppx-custom-printf is marked for autoremoval from testing Debian testing autoremoval watch
- ppx-deriving is marked for autoremoval from testing Debian testing autoremoval watch
- ppx-derivers is marked for autoremoval from testing Debian testing autoremoval watch
- ppx-fields-conv is marked for autoremoval from testing Debian testing autoremoval watch
- ppx-import is marked for autoremoval from testing Debian testing autoremoval watch
- ppxlib is marked for autoremoval from testing Debian testing autoremoval watch
- ppx-tools is marked for autoremoval from testing Debian testing autoremoval watch
- ppx-optcomp is marked for autoremoval from testing Debian testing autoremoval watch
- ppx-sexp-conv is marked for autoremoval from testing Debian testing autoremoval watch
- ppx-bin-prot is marked for autoremoval from testing Debian testing autoremoval watch
- ppx-variants-conv is marked for autoremoval from testing Debian testing autoremoval watch
- ppx-deriving-yojson is marked for autoremoval from testing Debian testing autoremoval watch
- ppx-compare is marked for autoremoval from testing Debian testing autoremoval watch
- ppx-here is marked for autoremoval from testing Debian testing autoremoval watch
- prooftree is marked for autoremoval from testing Debian testing autoremoval watch
- psmt2-frontend is marked for autoremoval from testing Debian testing autoremoval watch
- pxp is marked for autoremoval from testing Debian testing autoremoval watch
- react is marked for autoremoval from testing Debian testing autoremoval watch
- reactivedata is marked for autoremoval from testing Debian testing autoremoval watch
- sexplib310 is marked for autoremoval from testing Debian testing autoremoval watch
- spamoracle is marked for autoremoval from testing Debian testing autoremoval watch
- ssreflect is marked for autoremoval from testing Debian testing autoremoval watch
- Processed: bug 1009430 is forwarded to https://github.com/thierry-martinez/pyml/pull/75 Debian Bug Tracking System
- syslog-ocaml is marked for autoremoval from testing Debian testing autoremoval watch
- tophide is marked for autoremoval from testing Debian testing autoremoval watch
- tuareg-mode is marked for autoremoval from testing Debian testing autoremoval watch
- typerep is marked for autoremoval from testing Debian testing autoremoval watch
- tyxml is marked for autoremoval from testing Debian testing autoremoval watch
- ulex is marked for autoremoval from testing Debian testing autoremoval watch
- ulex0.8 is marked for autoremoval from testing Debian testing autoremoval watch
- unison-2.52 is marked for autoremoval from testing Debian testing autoremoval watch
- unison-2.51+4.13.1 is marked for autoremoval from testing Debian testing autoremoval watch
- utop is marked for autoremoval from testing Debian testing autoremoval watch
- uutf is marked for autoremoval from testing Debian testing autoremoval watch
- uuidm is marked for autoremoval from testing Debian testing autoremoval watch
- variantslib is marked for autoremoval from testing Debian testing autoremoval watch
- wyrd is marked for autoremoval from testing Debian testing autoremoval watch
- xmlm is marked for autoremoval from testing Debian testing autoremoval watch
- xmlrpc-light is marked for autoremoval from testing Debian testing autoremoval watch
- xml-light is marked for autoremoval from testing Debian testing autoremoval watch
- xstr is marked for autoremoval from testing Debian testing autoremoval watch
- xstrp4 is marked for autoremoval from testing Debian testing autoremoval watch
- yojson is marked for autoremoval from testing Debian testing autoremoval watch
- zed is marked for autoremoval from testing Debian testing autoremoval watch
- aac-tactics is marked for autoremoval from testing Debian testing autoremoval watch
- advi is marked for autoremoval from testing Debian testing autoremoval watch
- alt-ergo is marked for autoremoval from testing Debian testing autoremoval watch
- Bug#1011966: alt-ergo: autopkgtest regression: /usr/share/doc/alt-ergo/examples/valid/*.why: No such file or directory Paul Gevers
- Processing of alt-ergo_2.4.1-2_source.changes Debian FTP Masters
- alt-ergo_2.4.1-2_source.changes ACCEPTED into unstable Debian FTP Masters
- [Git][ocaml-team/ocaml-expat][master] fix debian/watch Ralf Treinen (@treinen)
- [Git][ocaml-team/ocaml-cry] Pushed new tag upstream/0.6.7 Kyle Robbertze (@paddatrapper)
- [Git][ocaml-team/ocaml-cry][master] 4 commits: New upstream version 0.6.7 Kyle Robbertze (@paddatrapper)
- [Git][ocaml-team/ocaml-faad] Pushed new tag upstream/0.5.1 Kyle Robbertze (@paddatrapper)
- [Git][ocaml-team/ocaml-mm] Pushed new tag debian/0.8.1-1 Kyle Robbertze (@paddatrapper)
- [Git][ocaml-team/ocaml-mm] Pushed new tag upstream/0.8.1 Kyle Robbertze (@paddatrapper)
- [Git][ocaml-team/ocaml-mm][upstream] New upstream version 0.8.1 Kyle Robbertze (@paddatrapper)
- [Git][ocaml-team/ocaml-mm][pristine-tar] pristine-tar data for ocaml-mm_0.8.1.orig.tar.gz Kyle Robbertze (@paddatrapper)
- Processing of ocaml-faad_0.5.1-1_source.changes Debian FTP Masters
- Processing of ocaml-cry_0.6.7-1_source.changes Debian FTP Masters
- Processing of ocaml-ffmpeg_1.1.3-1_source.changes Debian FTP Masters
- Processing of ocaml-mm_0.8.1-1_source.changes Debian FTP Masters
- ocaml-cry_0.6.7-1_source.changes ACCEPTED into unstable Debian FTP Masters
- ocaml-faad_0.5.1-1_source.changes ACCEPTED into unstable Debian FTP Masters
- ocaml-ffmpeg_1.1.3-1_source.changes ACCEPTED into unstable Debian FTP Masters
- ocaml-mm_0.8.1-1_source.changes ACCEPTED into unstable Debian FTP Masters
- [Git][ocaml-team/liquidsoap] Pushed new tag upstream/2.0.5 Kyle Robbertze (@paddatrapper)
- [Git][ocaml-team/liquidsoap][master] 5 commits: Bump standards-version to 4.6.1 (no change) Kyle Robbertze (@paddatrapper)
- [Git][ocaml-team/liquidsoap][upstream] New upstream version 2.0.5 Kyle Robbertze (@paddatrapper)
- [Git][ocaml-team/liquidsoap][pristine-tar] pristine-tar data for liquidsoap_2.0.5.orig.tar.bz2 Kyle Robbertze (@paddatrapper)
- Processing of liquidsoap_2.0.5-1_source.changes Debian FTP Masters
- liquidsoap_2.0.5-1_source.changes ACCEPTED into unstable Debian FTP Masters
- Bug#1012060: coq breaks coq-bignums autopkgtest: Compiled library Bignums.BigN.BigN makes inconsistent assumptions over library Coq.Init.Ltac Paul Gevers
- Bug#1012061: coq breaks coquelicot autopkgtest: Compiled library Coquelicot.Rcomplements makes inconsistent assumptions over library Coq.Init.Ltac Paul Gevers
- Processed: Fixed already Debian Bug Tracking System
- Processed: Fixed package already in unstable Debian Bug Tracking System
- coq-bignums_8.15.0-2_source.changes REJECTED Debian FTP Masters
- coquelicot_3.2.0-3_source.changes REJECTED Debian FTP Masters
- [Git][ocaml-team/ocaml-lame][pristine-tar] pristine-tar data for ocaml-lame_0.3.6.orig.tar.gz Kyle Robbertze (@paddatrapper)
- Processing of ocaml-lame_0.3.6-1_source.changes Debian FTP Masters
- ocaml-lame_0.3.6-1_source.changes ACCEPTED into unstable Debian FTP Masters
- [bts-link] source package src:pyml debian-bts-link
- [Git][ocaml-team/coq][pristine-tar] pristine-tar data for coq_8.15.2+dfsg.orig.tar.xz Julien Puydt (@jpuydt)
- [Git][ocaml-team/coq] Pushed new tag debian/8.15.1+dfsg-2 Julien Puydt (@jpuydt)
- [Git][ocaml-team/coq] Pushed new tag debian/8.15.2+dfsg-1 Julien Puydt (@jpuydt)
- [Git][ocaml-team/coq] Pushed new tag upstream/8.15.2+dfsg Julien Puydt (@jpuydt)
- Processing of coq_8.15.2+dfsg-1_source.changes Debian FTP Masters
- coq_8.15.2+dfsg-1_source.changes ACCEPTED into unstable Debian FTP Masters
- Accepted coq 8.15.2+dfsg-1 (source) into unstable Debian FTP Masters
The last update was on 21:00 GMT Tue May 31. There are 473 messages. Page 1 of 1.
[Date Index]
[Subject Index]
[Author Index]
[Other Debian Lists]
[Debian Home]
Mail converted by MHonArc