debian-ocaml-maint Feb 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 src:ocaml-ffmpeg [Git][ocaml-team/coq-doc] Pushed new tag debian/8.15.0-1 [Git][ocaml-team/coq-doc] Pushed new tag debian/8.15.0-2 [Git][ocaml-team/coq-doc] Pushed new tag debian/8.15.0-3 [Git][ocaml-team/coq-doc] Pushed new tag upstream/8.15.0 [Git][ocaml-team/coq-doc][master] 10 commits: Switch from debian/compat to depend on debhelper-compat (and level 13) [Git][ocaml-team/coq-doc][pristine-tar] pristine-tar data for coq-doc_8.15.0.orig.tar.gz [Git][ocaml-team/coq-doc][upstream] New upstream version 8.15.0 [Git][ocaml-team/coq] Pushed new tag debian/8.15.0+dfsg-2 [Git][ocaml-team/dose3][master] 11 commits: Do not run odoc for now [Git][ocaml-team/dose3][pristine-tar] 2 commits: pristine-tar data for dose3_6.1.orig.tar.gz [Git][ocaml-team/dose3][upstream] 2 commits: New upstream version 6.1 [Git][ocaml-team/eliom][master] 17 commits: New upstream version 6.13.1 [Git][ocaml-team/eliom][pristine-tar] 12 commits: pristine-tar data for eliom_6.13.1.orig.tar.gz [Git][ocaml-team/eliom][upstream] 12 commits: New upstream version 6.13.1 [Git][ocaml-team/extlib] Pushed new tag archive/debian/1.7.8-2 [Git][ocaml-team/extlib] Pushed new tag debian/1.7.8-2 [Git][ocaml-team/extlib][master] 2 commits: Set upstream metadata fields: Bug-Database, Bug-Submit, Repository, Repository-Browse. [Git][ocaml-team/extlib][master] 3 commits: Always build with minimal=1 [Git][ocaml-team/meta-unison] Pushed new tag archive/debian/2.51.5+1 [Git][ocaml-team/meta-unison] Pushed new tag debian/2.51.5+1 [Git][ocaml-team/meta-unison][master] 3 commits: Point to unison-2.51+4.13.1 binaries [Git][ocaml-team/nurpawiki] Deleted branch ocsipersist-passwd [Git][ocaml-team/nurpawiki] Pushed new branch ocsipersist-passwd [Git][ocaml-team/nurpawiki] Pushed new tag archive/debian/1.2.4-2 [Git][ocaml-team/nurpawiki] Pushed new tag debian/1.2.4-2 [Git][ocaml-team/nurpawiki][master] 2 commits: Update packaging [Git][ocaml-team/nurpawiki][master] 4 commits: Set upstream metadata fields: Bug-Database, Bug-Submit, Repository, Repository-Browse. [Git][ocaml-team/ocaml-topkg] Pushed new tag archive/debian/1.0.5-1 [Git][ocaml-team/ocaml-topkg] Pushed new tag debian/1.0.5-1 [Git][ocaml-team/ocaml-topkg] Pushed new tag upstream/1.0.5 [Git][ocaml-team/ocaml-topkg][master] 5 commits: New upstream version 1.0.5 [Git][ocaml-team/ocaml-topkg][pristine-tar] pristine-tar data for ocaml-topkg_1.0.5.orig.tar.bz2 [Git][ocaml-team/ocaml-topkg][upstream] New upstream version 1.0.5 [Git][ocaml-team/ocamlbuild] Pushed new tag archive/debian/0.14.1-1 [Git][ocaml-team/ocamlbuild] Pushed new tag debian/0.14.1-1 [Git][ocaml-team/ocamlbuild] Pushed new tag upstream/0.14.1 [Git][ocaml-team/ocamlbuild][pristine-tar] pristine-tar data for ocamlbuild_0.14.1.orig.tar.gz [Git][ocaml-team/ocamlnet] Deleted branch switch-to-re [Git][ocaml-team/ocamlnet] Deleted branch wip [Git][ocaml-team/ocamlnet] Pushed new branch switch-to-re [Git][ocaml-team/ocamlnet] Pushed new branch wip [Git][ocaml-team/ocamlnet] Pushed new tag archive/debian/4.1.9-1 [Git][ocaml-team/ocamlnet] Pushed new tag debian/4.1.9-1 [Git][ocaml-team/ocamlnet] Pushed new tag upstream/4.1.9 [Git][ocaml-team/ocamlnet][pristine-tar] pristine-tar data for ocamlnet_4.1.9.orig.tar.gz [Git][ocaml-team/ocurl] Pushed new tag archive/debian/0.9.2-1 [Git][ocaml-team/ocurl] Pushed new tag debian/0.9.2-1 [Git][ocaml-team/ocurl] Pushed new tag upstream/0.9.2 [Git][ocaml-team/ocurl][master] 4 commits: Set field Upstream-Name in debian/copyright. [Git][ocaml-team/ocurl][pristine-tar] pristine-tar data for ocurl_0.9.2.orig.tar.gz [Git][ocaml-team/opam][master] 9 commits: New upstream version 2.1.0 [Git][ocaml-team/opam][pristine-tar] 3 commits: pristine-tar data for opam_2.1.0.orig.tar.gz [Git][ocaml-team/opam][upstream] 3 commits: New upstream version 2.1.0 [Git][ocaml-team/ounit][pristine-tar] 2 commits: pristine-tar data for ounit_2.2.5.orig.tar.bz2 [Git][ocaml-team/parmap] Pushed new tag archive/debian/1.2.4-1 [Git][ocaml-team/parmap] Pushed new tag debian/1.2.4-1 [Git][ocaml-team/parmap] Pushed new tag upstream/1.2.4 [Git][ocaml-team/parmap][master] 5 commits: New upstream version 1.2.4 [Git][ocaml-team/parmap][pristine-tar] pristine-tar data for parmap_1.2.4.orig.tar.bz2 [Git][ocaml-team/parmap][upstream] New upstream version 1.2.4 [Git][ocaml-team/pcre-ocaml] Pushed new tag archive/debian/7.5.0-1 [Git][ocaml-team/pcre-ocaml] Pushed new tag debian/7.5.0-1 [Git][ocaml-team/pcre-ocaml] Pushed new tag upstream/7.5.0 [Git][ocaml-team/pcre-ocaml][pristine-tar] pristine-tar data for pcre-ocaml_7.5.0.orig.tar.bz2 [Git][ocaml-team/react] Pushed new tag archive/debian/1.2.2-1 [Git][ocaml-team/react] Pushed new tag debian/1.2.2-1 [Git][ocaml-team/react] Pushed new tag upstream/1.2.2 [Git][ocaml-team/react][pristine-tar] pristine-tar data for react_1.2.2.orig.tar.bz2 [Git][ocaml-team/ssreflect] Pushed new tag debian/1.14.0-2 [Git][ocaml-team/ssreflect] Pushed new tag debian/1.14.0-3 [Git][ocaml-team/ssreflect] Pushed new tag debian/1.14.0-4 [Git][ocaml-team/ssreflect] Pushed new tag debian/1.14.0-5 [Git][ocaml-team/ssreflect] Pushed new tag debian/1.14.0-6 [Git][ocaml-team/ssreflect][master] 2 commits: Depend on the coq library under its new name [Git][ocaml-team/ssreflect][master] 2 commits: Fix libcoq-mathcomp's doc-base [Git][ocaml-team/ssreflect][master] 2 commits: Make the package adapt to coq's layout [Git][ocaml-team/uutf] Pushed new tag archive/debian/1.0.3-1 [Git][ocaml-team/uutf] Pushed new tag debian/1.0.3-1 [Git][ocaml-team/uutf] Pushed new tag upstream/1.0.3 [Git][ocaml-team/uutf][master] 5 commits: Update watch file format version to 4. [Git][ocaml-team/uutf][pristine-tar] pristine-tar data for uutf_1.0.3.orig.tar.bz2 [Git][ocaml-team/xmlm] Pushed new tag archive/debian/1.4.0-1 [Git][ocaml-team/xmlm] Pushed new tag debian/1.4.0-1 [Git][ocaml-team/xmlm] Pushed new tag upstream/1.4.0 [Git][ocaml-team/xmlm][pristine-tar] pristine-tar data for xmlm_1.4.0.orig.tar.bz2 aac-tactics_8.15.0-1_source.changes ACCEPTED into unstable Accepted coq 8.15.0+dfsg-2 (source amd64) into unstable, unstable Accepted ocurl 0.9.2-1 (source) into unstable Bug#1002941: marked as done (FTBFS with ocaml-migrate-parsetree 2.3.0) Bug#1002942: marked as done (FTBFS with ocaml-migrate-parsetree 2.3.0) Bug#1003539: marked as done (coq-doc: several releases behind coq) Bug#1005214: ITP: mathcomp-finmap -- finite sets and maps extension for Mathematical Components Bug#1005215: ITP: mathcomp-bigenough -- epsilon - N reasoning for Mathematical Components Bug#1005224: ITP: mathcomp-analysis -- analysis extension for Mathematical Components Bug#1005254: libcoq-mathcomp,libcoq-mathcomp-*: missing Breaks+Replaces: libssreflect-coq (<< 1.14.0-4) Bug#1005254: marked as done (libcoq-mathcomp,libcoq-mathcomp-*: missing Breaks+Replaces: libssreflect-coq (<< 1.14.0-4)) Bug#1005621: coq-hierarchy-builder: FTBFS: dh_install: error: missing files, aborting Bug#1005658: marked as done (unison-2.51+4.11.1: FTBFS: detects changes in debian/control) Bug#1005658: unison-2.51+4.11.1: FTBFS: detects changes in debian/control Bug#1005852: marked as done (ssreflect doesn't migrate, still broken autopkg tests) Bug#1005852: ssreflect doesn't migrate, still broken autopkg tests Bug#1005920: closed by Debian FTP Masters <ftpmaster@ftp-master.debian.org> (reply to Julien Puydt <jpuydt@debian.org>) (Bug#1005920: fixed in coq-doc 8.15.0-2) Bug#1005920: closed by Debian FTP Masters <ftpmaster@ftp-master.debian.org> (reply to Julien Puydt <jpuydt@debian.org>) (Bug#1005920: fixed in coq-doc 8.15.0-3) Bug#1005920: coq-doc: FTBFS: Error: Library "zarith" not found. Bug#1005920: marked as done (coq-doc: FTBFS: Error: Library "zarith" not found.) Bug#1006259: Removed package(s) from unstable Bug#1006259: RM: unison-2.51+4.11.1 -- ROM; obsolete Bug#1006262: ITP: camlp-streams -- Stream and Genlex libraries for use with Camlp4 and Camlp5 Bug#1006301: unison-2.51+4.13.1 -addversionno is broken Bug#1006355: Removed package(s) from unstable Bug#1006355: RM: ppx-tools-versioned -- ROM; obsolete Bug#1006356: Removed package(s) from unstable Bug#1006356: RM: ppxfind -- ROM; obsolete Bug#1006512: ocaml-cohttp: FTBFS with OpenSSL 3.0 Bug#543548: marked as done (coq-doc-pdf: bookmarks and links for table of contents) Bug#827861: marked as done (Please add coq-8.5 to jessie-backports) Bug#875850: marked as done (opam fails to build ocamlfind.) Bug#939741: marked as done (FTBFS with OCaml 4.08.0 (safe strings)) Bug#970453: coq-float looks dead upstream: RM? Bug#990694: marked as done (unison -addversionno option broken) Bug#995554: marked as done (Updating the ocurl Uploaders list) camlp-streams_5.0-1_amd64.changes ACCEPTED into unstable, unstable camlp-streams_5.0-1_amd64.changes is NEW coq 8.15.0+dfsg-1 MIGRATED to testing coq 8.15.0+dfsg-2 MIGRATED to testing Coq-based packages coq-doc is marked for autoremoval from testing coq-doc_8.15.0-1_amd64.changes ACCEPTED into unstable coq-doc_8.15.0-2_amd64.changes ACCEPTED into unstable coq-doc_8.15.0-3_amd64.changes ACCEPTED into unstable coq-elpi_1.12.1-2_source.changes ACCEPTED into unstable coq-elpi_1.13.0-1_source.changes ACCEPTED into unstable coq-hierarchy-builder_1.2.1-2_amd64.changes ACCEPTED into unstable, unstable coq-hierarchy-builder_1.2.1-2_amd64.changes is NEW coq-hierarchy-builder_1.2.1-2_source.changes REJECTED coq_8.15.0+dfsg-2_amd64.changes ACCEPTED into unstable, unstable coq_8.15.0+dfsg-2_amd64.changes is NEW coq_8.15.0+dfsg-2_source.changes REJECTED dose3_7.0.0-1_source.changes ACCEPTED into unstable eliom_9.4.0-1_source.changes ACCEPTED into unstable elpi_1.14.1-1_source.changes ACCEPTED into unstable extlib_1.7.8-2_source.changes ACCEPTED into unstable Le best-of de la semaine mathcomp-analysis_0.3.13-1_amd64.changes ACCEPTED into unstable, unstable mathcomp-analysis_0.3.13-1_amd64.changes is NEW mathcomp-bigenough_1.0.1-1_amd64.changes ACCEPTED into unstable, unstable mathcomp-bigenough_1.0.1-1_amd64.changes is NEW mathcomp-finmap_1.5.1-1_amd64.changes ACCEPTED into unstable, unstable mathcomp-finmap_1.5.1-1_amd64.changes is NEW meta-unison_2.51.5+1_source.changes ACCEPTED into unstable nurpawiki_1.2.4-2_source.changes ACCEPTED into unstable ocaml-mtime_1.4.0-1_source.changes ACCEPTED into unstable ocaml-mtime_1.4.0-2_source.changes ACCEPTED into unstable ocaml-ptime_1.0.0-1_source.changes ACCEPTED into unstable ocaml-qcheck_0.18.1-1_source.changes ACCEPTED into unstable ocaml-qcheck_0.18.1-2_source.changes ACCEPTED into unstable ocaml-stdcompat_18-1_source.changes ACCEPTED into unstable ocaml-topkg_1.0.5-1_source.changes ACCEPTED into unstable ocaml-x509_0.16.0-1_source.changes ACCEPTED into unstable ocamlbuild_0.14.1-1_source.changes ACCEPTED into unstable ocamlnet_4.1.9-1_source.changes ACCEPTED into unstable ocsipersist_1.0.5-1_amd64.changes ACCEPTED into unstable, unstable ocsipersist_1.1.0-1_source.changes ACCEPTED into unstable ocurl_0.9.2-1_source.changes ACCEPTED into unstable opam_2.1.2-1_source.changes ACCEPTED into unstable ounit_2.2.6-1_source.changes ACCEPTED into unstable parmap_1.2.4-1_source.changes ACCEPTED into unstable pcre-ocaml_7.5.0-1_source.changes ACCEPTED into unstable ppx-import_1.8.0-1_amd64.changes ACCEPTED into unstable, unstable ppx-import_1.9.0-1_source.changes ACCEPTED into unstable Processed: Bug#1003539 marked as pending in coq-doc Processed: Bug#1005254 marked as pending in ssreflect Processed: Bug#1005852 marked as pending in ssreflect Processed: Bug#1005920 marked as pending in coq-doc Processed: closing 734169 Processed: fixed 734169 in 2.51.3+1 Processed: Fixed by 1.2.1-2, just uploaded Processed: Fixed in latest upload already Processed: Re: Bug#1005920 closed by Debian FTP Masters <ftpmaster@ftp-master.debian.org> (reply to Julien Puydt <jpuydt@debian.org>) (Bug#1005920: fixed in coq-doc 8.15.0-2) Processed: transition: ffmpeg Processing of aac-tactics_8.15.0-1_source.changes Processing of camlp-streams_5.0-1_amd64.changes Processing of coq-doc_8.15.0-1_amd64.changes Processing of coq-doc_8.15.0-2_amd64.changes Processing of coq-doc_8.15.0-3_amd64.changes Processing of coq-elpi_1.12.1-2_source.changes Processing of coq-elpi_1.13.0-1_source.changes Processing of coq-hierarchy-builder_1.2.1-2_amd64.changes Processing of coq-hierarchy-builder_1.2.1-2_source.changes Processing of coq_8.15.0+dfsg-2_amd64.changes Processing of coq_8.15.0+dfsg-2_source.changes Processing of dose3_7.0.0-1_source.changes Processing of eliom_9.4.0-1_source.changes Processing of elpi_1.14.1-1_source.changes Processing of extlib_1.7.8-2_source.changes Processing of mathcomp-analysis_0.3.13-1_amd64.changes Processing of mathcomp-bigenough_1.0.1-1_amd64.changes Processing of mathcomp-finmap_1.5.1-1_amd64.changes Processing of meta-unison_2.51.5+1_source.changes Processing of nurpawiki_1.2.4-2_source.changes Processing of ocaml-mtime_1.4.0-1_source.changes Processing of ocaml-mtime_1.4.0-2_source.changes Processing of ocaml-ptime_1.0.0-1_source.changes Processing of ocaml-qcheck_0.18.1-1_source.changes Processing of ocaml-qcheck_0.18.1-2_source.changes Processing of ocaml-stdcompat_18-1_source.changes Processing of ocaml-topkg_1.0.5-1_source.changes Processing of ocaml-x509_0.16.0-1_source.changes Processing of ocamlbuild_0.14.1-1_source.changes Processing of ocamlnet_4.1.9-1_source.changes Processing of ocsipersist_1.1.0-1_source.changes Processing of ocurl_0.9.2-1_source.changes Processing of opam_2.1.2-1_source.changes Processing of ounit_2.2.6-1_source.changes Processing of parmap_1.2.4-1_source.changes Processing of pcre-ocaml_7.5.0-1_source.changes Processing of ppx-import_1.9.0-1_source.changes Processing of react_1.2.2-1_source.changes Processing of ssreflect_1.14.0-2_source.changes Processing of ssreflect_1.14.0-3_source.changes Processing of ssreflect_1.14.0-4_source.changes Processing of ssreflect_1.14.0-5_amd64.changes Processing of ssreflect_1.14.0-6_source.changes Processing of ssreflect_1.14.0-7_source.changes Processing of uutf_1.0.3-1_source.changes Processing of wyrd_1.5.1-1_source.changes Processing of wyrd_1.5.3-1_source.changes Processing of xmlm_1.4.0-1_source.changes react_1.2.2-1_source.changes ACCEPTED into unstable ssreflect_1.14.0-2_source.changes ACCEPTED into unstable ssreflect_1.14.0-3_source.changes ACCEPTED into unstable ssreflect_1.14.0-4_source.changes REJECTED ssreflect_1.14.0-5_amd64.changes ACCEPTED into unstable, unstable ssreflect_1.14.0-5_amd64.changes is NEW ssreflect_1.14.0-6_source.changes ACCEPTED into unstable ssreflect_1.14.0-7_source.changes ACCEPTED into unstable unison-2.51+4.11.1 is marked for autoremoval from testing unison-2.51+4.13.1_2.51.5-1_amd64.changes ACCEPTED into unstable, unstable uutf_1.0.3-1_source.changes ACCEPTED into unstable wyrd_1.5.1-1_source.changes ACCEPTED into unstable wyrd_1.5.3-1_source.changes ACCEPTED into unstable xmlm_1.4.0-1_source.changes ACCEPTED into unstable The last update was on 16:20 GMT Sat Feb 26. There are 255 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