debian-ocaml-maint May 2022 by subject

[First Page] <
[previous page] 		Page 1 of 1 >
[next page] 		[Last Page]

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