debian-ocaml-maint Feb 2019 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]
[Git][ocaml-team/coq][master] 32 commits: Don’t build upstream’s CI on Salsa [coq] coq-mode doesn't work in emacs [Git][ocaml-team/aac-tactics] Pushed new tag debian/8.8.0+1.gbp069dc3b-1 [Git][ocaml-team/aac-tactics] Pushed new tag upstream/8.8.0+1.gbp069dc3b [Git][ocaml-team/aac-tactics][master] 21 commits: Prepare to import v8.9 snapshot [Git][ocaml-team/aac-tactics][pristine-tar] pristine-tar data for aac-tactics_8.8.0+1.gbp069dc3b.orig.tar.gz [Git][ocaml-team/aac-tactics][upstream] New upstream version 8.8.0+1.gbp069dc3b [Git][ocaml-team/alt-ergo] Pushed new tag debian/2.0.0-1 [Git][ocaml-team/alt-ergo] Pushed new tag debian/2.0.0-2 [Git][ocaml-team/alt-ergo] Pushed new tag debian/2.0.0-3 [Git][ocaml-team/alt-ergo] Pushed new tag upstream/2.0.0 [Git][ocaml-team/alt-ergo][master] 13 commits: d/watch: -free releases [Git][ocaml-team/alt-ergo][pristine-tar] pristine-tar data for alt-ergo_2.0.0.orig.tar.gz [Git][ocaml-team/alt-ergo][upstream] New upstream version 2.0.0 [Git][ocaml-team/belenios] Pushed new tag debian/1.8+dfsg-1 [Git][ocaml-team/belenios] Pushed new tag upstream/1.8+dfsg [Git][ocaml-team/belenios][master] 4 commits: New upstream version 1.8+dfsg [Git][ocaml-team/camlimages] Pushed new tag debian/1%4.2.6-4 [Git][ocaml-team/camomile] Pushed new tag debian/1.0.1-3 [Git][ocaml-team/coq] Pushed new tag debian/8.9.0-1 [Git][ocaml-team/coq] Pushed new tag upstream/8.9.0 [Git][ocaml-team/coq][pristine-tar] pristine-tar data for coq_8.9.0.orig.tar.gz [Git][ocaml-team/coq][upstream] Imported Upstream version 8.9.0 [Git][ocaml-team/lablgtk2] Pushed new tag debian/2.18.5+dfsg-3 [Git][ocaml-team/liquidsoap] Pushed new tag debian/1.3.4-1 [Git][ocaml-team/liquidsoap] Pushed new tag upstream/1.3.4 [Git][ocaml-team/liquidsoap][master] 5 commits: New upstream version 1.3.4 [Git][ocaml-team/liquidsoap][pristine-tar] pristine-tar data for liquidsoap_1.3.4.orig.tar.bz2 [Git][ocaml-team/liquidsoap][upstream] New upstream version 1.3.4 [Git][ocaml-team/morbig] Pushed new tag upstream/0.10.1 [Git][ocaml-team/morbig][master] 14 commits: d/watch: initial 'v' of the tag optional [Git][ocaml-team/morbig][pristine-tar] pristine-tar data for morbig_0.10.1.orig.tar.xz [Git][ocaml-team/morbig][upstream] New upstream version 0.10.1 [Git][ocaml-team/ocaml-mm] Pushed new tag debian/0.4.0-1 [Git][ocaml-team/ocaml-mm] Pushed new tag upstream/0.4.0 [Git][ocaml-team/ocaml-mm][pristine-tar] pristine-tar data for ocaml-mm_0.4.0.orig.tar.gz [Git][ocaml-team/ocaml-visitors] Pushed new tag debian/20180513-1 [Git][ocaml-team/ocaml-visitors] Pushed new tag upstream/20180513 [Git][ocaml-team/ocaml-visitors][pristine-tar] pristine-tar data for ocaml-visitors_20180513.orig.tar.xz [Git][ocaml-team/ocamlweb] Pushed new tag debian/1.41-1 [Git][ocaml-team/ocamlweb] Pushed new tag upstream/1.41 [Git][ocaml-team/opam] Pushed new tag debian/2.0.3-1 [Git][ocaml-team/opam] Pushed new tag upstream/2.0.3 [Git][ocaml-team/opam][master] 6 commits: New upstream version 2.0.3 [Git][ocaml-team/opam][pristine-tar] pristine-tar data for opam_2.0.3.orig.tar.gz [Git][ocaml-team/opam][upstream] New upstream version 2.0.3 [Git][ocaml-team/ssreflect] Pushed new branch experimental/master [Git][ocaml-team/ssreflect] Pushed new tag debian/1.7.0+dfsg-1 [Git][ocaml-team/ssreflect] Pushed new tag upstream/1.7.0 [Git][ocaml-team/ssreflect] Pushed new tag upstream/1.7.0+dfsg [Git][ocaml-team/ssreflect][master] 21 commits: point d/watch to github [Git][ocaml-team/ssreflect][pristine-tar] pristine-tar data for ssreflect_1.7.0+dfsg.orig.tar.gz [Git][ocaml-team/ssreflect][pristine-tar] pristine-tar data for ssreflect_1.7.0.orig.tar.gz [Git][ocaml-team/ssreflect][upstream] New upstream version 1.7.0 [Git][ocaml-team/ssreflect][upstream] New upstream version 1.7.0+dfsg [Git][ocaml-team/why3] Pushed new tag debian/1.1.1-2 [Git][ocaml-team/why3] Pushed new tag debian/1.1.1-3 [Git][ocaml-team/why3] Pushed new tag debian/1.1.1-4 [Git][ocaml-team/why3] Pushed new tag debian/1.2.0-1 [Git][ocaml-team/why3] Pushed new tag upstream/1.2.0 [Git][ocaml-team/why3][master] 4 commits: New upstream version 1.2.0 [Git][ocaml-team/why3][pristine-tar] pristine-tar data for why3_1.2.0.orig.tar.gz [Git][ocaml-team/why3][upstream] New upstream version 1.2.0 [Git][ocaml-team/why] Pushed new tag debian/2.40-4 aac-tactics_8.8.0+1.gbp069dc3b-1_amd64.changes ACCEPTED into unstable Accepted coq 8.9.0-1 (source amd64) into unstable advi is marked for autoremoval from testing alt-ergo_2.0.0-1_source.changes ACCEPTED into unstable alt-ergo_2.0.0-2_source.changes ACCEPTED into unstable alt-ergo_2.0.0-3_source.changes ACCEPTED into unstable belenios_1.8+dfsg-1_amd64.changes ACCEPTED into unstable Bug#668751: marked as done (liquidsoap: unowned directory after purge: /usr/share/liquidsoap) Bug#736761: marked as done (coq and Emacs 2x) Bug#819341: Ping and updated patches Bug#822949: marked as done (liblablgtk2-ocaml-dev: lablgtk2 2.18 has wrong version in META file (reports as 2.16)) Bug#854147: marked as done (coq: ERROR: coq is broken - called emacs-package-install as a new-style add-on, but has no compat file.) Bug#877938: marked as done (coq: warning on installation of the emacs mode) Bug#885677: liblablgtksourceview2-ocaml: Depends on unmaintained gtksourceview2 Bug#902618: why: needs porting to why3 version 1.0.0 Bug#905940: convert package to dh-elpa Bug#908203: opam: Should not depend on aspcud any more Bug#918345: marked as done (opam: Can't be installed on hurd-i386) Bug#919461: marked as done (ssreflect FTBFS in unstable) Bug#919461: ssreflect ftbfs in unstable Bug#919462: coq ftbfs on some release architectures Bug#919462: marked as done (coq FTBFS on architectures without native OCaml backends) Bug#919463: marked as done (aac-tactics ftbfs in unstable) Bug#919953: /usrr/bin/dune and `dune' binary package should refer to dune-common Bug#920589: coqide is not longer packaged for amd64 Bug#921278: bibtex2html: Lacks several math-related translations Bug#921465: marked as done (why3 FTBFS: dh_install: Cannot find (any matches for) "debian/tmp/usr/local/lib/ocaml/*/why3") Bug#921465: why3 FTBFS: dh_install: Cannot find (any matches for) "debian/tmp/usr/local/lib/ocaml/*/why3" Bug#921593: accent translations Bug#921593: add translations for accents Bug#921593: bibtex2html should transate math characters with overhead accents Bug#921790: liquidsoap: FTBFS (ld: cannot find -lexif) Bug#921790: marked as done (liquidsoap: FTBFS (ld: cannot find -lexif)) Bug#921812: mldonkey-server: Add systemd service file for better security Bug#922133: marked as done (src:marionnet: build-depends/depends on cruft packages) Bug#922133: src:marionnet: build-depends/depends on cruft packages Bug#922271: camomile: ocaml-gettext build still fails, due to wrong search path caused by camomile build Bug#922271: marked as done (camomile: ocaml-gettext build still fails, due to wrong search path caused by camomile build) Bug#922387: Removed package(s) from unstable Bug#922670: Removed package(s) from unstable Bug#922692: galax: FTBFS on ppc64el - ERROR: unable to find camomileLibrary.cmi in /usr/lib/ocaml/camomile Bug#923215: split into several binary packages camlimages is marked for autoremoval from testing camlimages_4.2.6-4_amd64.changes ACCEPTED into unstable camomile_1.0.1-3_amd64.changes ACCEPTED into unstable Comments regarding morsmall_0.1-1_amd64.changes Confirmation of subscription for the Avanti Winery email list coq 8.9.0-1 MIGRATED to testing coq is marked for autoremoval from testing coq_8.9.0-1_amd64.changes ACCEPTED into unstable galax is marked for autoremoval from testing lablgtk2_2.18.5+dfsg-3_amd64.changes ACCEPTED into unstable liquidsoap is marked for autoremoval from testing liquidsoap_1.3.4-1_amd64.changes ACCEPTED into unstable morsmall_0.1-1_amd64.changes ACCEPTED into unstable, unstable Nieuws - goud is een onmisbare bescherming voor schuldenberg van 250 miljard ocaml-mm_0.4.0-1_amd64.changes ACCEPTED into unstable ocaml-visitors_20180513-1_source.changes ACCEPTED into unstable ocamlweb_1.41-1_source.changes ACCEPTED into unstable opam_2.0.3-1_amd64.changes ACCEPTED into unstable Processed (with 1 error): Updating submitter address Processed: -lexif Processed: affects 877496 Processed: block 916369 with 919462 Processed: Bug #822949 in lablgtk2 marked as pending Processed: Bug #885677 in lablgtk2 marked as pending Processed: Bug #918345 in opam marked as pending Processed: Bug #921790 in camlimages marked as pending Processed: Bug #922271 in camomile marked as pending Processed: bug 921278 is forwarded to Jean-Christophe.Filliatre[at]lri.fr Processed: fix ftbfs bug metadata Processed: forw Processed: limit source to why3, tagging 921465 Processed: Re: /usrr/bin/dune and `dune' binary package should refer to dune-common Processed: Re: Bug#885677: liblablgtksourceview2-ocaml: Depends on unmaintained gtksourceview2 Processed: Re: Bug#919461: ssreflect ftbfs in unstable Processed: Re: Bug#919462: coq ftbfs on some release architectures Processed: Re: Bug#920589: coqide is not longer packaged for amd64 Processed: retitle 922692 to galax: FTBFS - ERROR: unable to find camomileLibrary.cmi in /usr/lib/ocaml/camomile ... Processed: severity of 902618 is serious Processed: severity of 922692 is serious Processed: tagging 919461 Processed: tagging 922692 Processed: why3 FTBFS: dh_install: Cannot find (any matches for) "debian/tmp/usr/local/lib/ocaml/*/why3" Processing of aac-tactics_8.8.0+1.gbp069dc3b-1_amd64.changes Processing of alt-ergo_2.0.0-1_source.changes Processing of alt-ergo_2.0.0-2_source.changes Processing of alt-ergo_2.0.0-3_source.changes Processing of belenios_1.8+dfsg-1_amd64.changes Processing of camlimages_4.2.6-4_amd64.changes Processing of camomile_1.0.1-3_amd64.changes Processing of coq_8.9.0-1_amd64.changes Processing of lablgtk2_2.18.5+dfsg-3_amd64.changes Processing of liquidsoap_1.3.4-1_amd64.changes Processing of ocaml-mm_0.4.0-1_amd64.changes Processing of ocaml-visitors_20180513-1_source.changes Processing of ocamlweb_1.41-1_source.changes Processing of opam_2.0.3-1_amd64.changes Processing of ssreflect_1.7.0+dfsg-1_source.changes Processing of why3_1.1.1-3_source.changes Processing of why3_1.1.1-4_source.changes Processing of why3_1.2.0-1_source.changes Processing of why_2.40-4_amd64.changes ssreflect ssreflect is marked for autoremoval from testing ssreflect_1.7.0+dfsg-1_source.changes ACCEPTED into unstable why is blocking Coq 8.9 from entering testing why is marked for autoremoval from testing why3 is marked for autoremoval from testing why3_1.1.1-3_source.changes ACCEPTED into unstable why3_1.1.1-4_source.changes ACCEPTED into unstable why3_1.2.0-1_source.changes ACCEPTED into unstable why_2.40-4_amd64.changes ACCEPTED into unstable The last update was on 01:19 GMT Tue Jun 11. There are 201 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