debian-ocaml-maint Feb 2019 by author

[previous page]

Page 1 of 1

[next page]

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

---

Stéphane Glondu

• [Git][ocaml-team/belenios][master] 4 commits: New upstream version 1.8+dfsg Feb 04
• [Git][ocaml-team/belenios] Pushed new tag debian/1.8+dfsg-1 Feb 04
• [Git][ocaml-team/lablgtk2] Pushed new tag debian/2.18.5+dfsg-3 Feb 13
• [Git][ocaml-team/belenios] Pushed new tag upstream/1.8+dfsg Feb 04

Stéphane Glondu

• Bug#819341: Ping and updated patches Feb 19
• Bug#885677: liblablgtksourceview2-ocaml: Depends on unmaintained gtksourceview2 Feb 13

Adrian Bunk

• Bug#919461: ssreflect ftbfs in unstable Feb 07
• Bug#919462: coq ftbfs on some release architectures Feb 05
• Bug#920589: coqide is not longer packaged for amd64 Feb 07
• Bug#921465: why3 FTBFS: dh_install: Cannot find (any matches for) "debian/tmp/usr/local/lib/ocaml/*/why3" Feb 05

Andrey Rahmatullin

• Bug#921790: liquidsoap: FTBFS (ld: cannot find -lexif) Feb 17
• Bug#921790: liquidsoap: FTBFS (ld: cannot find -lexif) Feb 17

Anil Madhavapeddy

• Bug#908203: opam: Should not depend on aspcud any more Feb 25

Avanti Winery

• Confirmation of subscription for the Avanti Winery email list Feb 15

Benjamin Barenblat

• [Git][ocaml-team/coq] Pushed new tag upstream/8.9.0 Feb 06
• [Git][ocaml-team/aac-tactics][pristine-tar] pristine-tar data for aac-tactics_8.8.0+1.gbp069dc3b.orig.tar.gz Feb 18
• [Git][ocaml-team/aac-tactics] Pushed new tag upstream/8.8.0+1.gbp069dc3b Feb 18
• [Git][ocaml-team/aac-tactics][master] 21 commits: Prepare to import v8.9 snapshot Feb 18
• why is blocking Coq 8.9 from entering testing Feb 22
• [Git][ocaml-team/coq][pristine-tar] pristine-tar data for coq_8.9.0.orig.tar.gz Feb 06
• [Git][ocaml-team/aac-tactics] Pushed new tag debian/8.8.0+1.gbp069dc3b-1 Feb 18
• [Git][ocaml-team/coq][master] 32 commits: Don’t build upstream’s CI on Salsa Feb 06
• Re: [coq] coq-mode doesn't work in emacs Feb 14
• Re: why is blocking Coq 8.9 from entering testing Feb 24
• [Git][ocaml-team/coq] Pushed new tag debian/8.9.0-1 Feb 06
• [Git][ocaml-team/aac-tactics][upstream] New upstream version 8.8.0+1.gbp069dc3b Feb 18
• [Git][ocaml-team/why] Pushed new tag debian/2.40-4 Feb 23
• Bug#919461: ssreflect ftbfs in unstable Feb 07
• [Git][ocaml-team/coq][upstream] Imported Upstream version 8.9.0 Feb 06
• Accepted coq 8.9.0-1 (source amd64) into unstable Feb 06
• Re: why is blocking Coq 8.9 from entering testing Feb 22
• Bug#919462: coq ftbfs on some release architectures Feb 05

Benjamin Riefenstahl

• Bug#819341: Ping and updated patches Feb 19
• Bug#819341: Ping and updated patches Feb 19

Debian Bug Tracking System

• Bug#922271: marked as done (camomile: ocaml-gettext build still fails, due to wrong search path caused by camomile build) Feb 15
• Bug#822949: marked as done (liblablgtk2-ocaml-dev: lablgtk2 2.18 has wrong version in META file (reports as 2.16)) Feb 13
• Bug#922133: marked as done (src:marionnet: build-depends/depends on cruft packages) Feb 14
• Processed: why3 FTBFS: dh_install: Cannot find (any matches for) "debian/tmp/usr/local/lib/ocaml/*/why3" Feb 05
• Processed: Re: Bug#919461: ssreflect ftbfs in unstable Feb 07
• Processed (with 1 error): Updating submitter address Feb 20
• Processed: fix ftbfs bug metadata Feb 27
• Processed: tagging 922692 Feb 20
• Processed: -lexif Feb 17
• Bug#736761: marked as done (coq and Emacs 2x) Feb 06
• Processed: tagging 922692 Feb 20
• Bug#919461: marked as done (ssreflect FTBFS in unstable) Feb 16
• Processed: Bug #922271 in camomile marked as pending Feb 15
• Processed: retitle 922692 to galax: FTBFS - ERROR: unable to find camomileLibrary.cmi in /usr/lib/ocaml/camomile ... Feb 20
• Bug#877938: marked as done (coq: warning on installation of the emacs mode) Feb 06
• Bug#668751: marked as done (liquidsoap: unowned directory after purge: /usr/share/liquidsoap) Feb 19
• Processed: Bug #921790 in camlimages marked as pending Feb 17
• Processed: forw Feb 07
• Bug#921465: marked as done (why3 FTBFS: dh_install: Cannot find (any matches for) "debian/tmp/usr/local/lib/ocaml/*/why3") Feb 07
• Processed: limit source to why3, tagging 921465 Feb 06
• Processed: severity of 902618 is serious Feb 23
• Processed: fix ftbfs bug metadata Feb 23
• Processed: Re: Bug#885677: liblablgtksourceview2-ocaml: Depends on unmaintained gtksourceview2 Feb 13
• Processed: Bug #885677 in lablgtk2 marked as pending Feb 13
• Processed: tagging 919461 Feb 12
• Bug#918345: marked as done (opam: Can't be installed on hurd-i386) Feb 01
• 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.) Feb 06
• Processed: -lexif Feb 17
• Bug#919462: marked as done (coq FTBFS on architectures without native OCaml backends) Feb 06
• Processed: bug 921278 is forwarded to Jean-Christophe.Filliatre[at]lri.fr Feb 04
• Processed: Re: Bug#919462: coq ftbfs on some release architectures Feb 05
• Processed: block 916369 with 919462 Feb 05
• Processed: affects 877496 Feb 27
• Bug#921790: marked as done (liquidsoap: FTBFS (ld: cannot find -lexif)) Feb 17
• Processed: Re: /usrr/bin/dune and `dune' binary package should refer to dune-common Feb 28
• Processed: Re: Bug#920589: coqide is not longer packaged for amd64 Feb 07
• Processed: Bug #822949 in lablgtk2 marked as pending Feb 13
• Processed: severity of 922692 is serious Feb 20
• Processed: Bug #918345 in opam marked as pending Feb 01
• Processed: affects 877496 Feb 27
• Bug#919463: marked as done (aac-tactics ftbfs in unstable) Feb 18

Debian FTP Masters

• why3_1.2.0-1_source.changes ACCEPTED into unstable Feb 15
• camlimages_4.2.6-4_amd64.changes ACCEPTED into unstable Feb 17
• Processing of coq_8.9.0-1_amd64.changes Feb 06
• Processing of liquidsoap_1.3.4-1_amd64.changes Feb 19
• Processing of ocamlweb_1.41-1_source.changes Feb 11
• why3_1.1.1-4_source.changes ACCEPTED into unstable Feb 07
• Processing of lablgtk2_2.18.5+dfsg-3_amd64.changes Feb 13
• Processing of aac-tactics_8.8.0+1.gbp069dc3b-1_amd64.changes Feb 18
• Processing of alt-ergo_2.0.0-1_source.changes Feb 13
• alt-ergo_2.0.0-2_source.changes ACCEPTED into unstable Feb 13
• coq_8.9.0-1_amd64.changes ACCEPTED into unstable Feb 06
• Processing of why_2.40-4_amd64.changes Feb 22
• camomile_1.0.1-3_amd64.changes ACCEPTED into unstable Feb 15
• alt-ergo_2.0.0-3_source.changes ACCEPTED into unstable Feb 14
• alt-ergo_2.0.0-1_source.changes ACCEPTED into unstable Feb 13
• why_2.40-4_amd64.changes ACCEPTED into unstable Feb 22
• Processing of ocaml-mm_0.4.0-1_amd64.changes Feb 16
• Processing of why3_1.1.1-4_source.changes Feb 07
• Processing of ssreflect_1.7.0+dfsg-1_source.changes Feb 16
• Processing of camlimages_4.2.6-4_amd64.changes Feb 17
• lablgtk2_2.18.5+dfsg-3_amd64.changes ACCEPTED into unstable Feb 13
• aac-tactics_8.8.0+1.gbp069dc3b-1_amd64.changes ACCEPTED into unstable Feb 18
• Processing of belenios_1.8+dfsg-1_amd64.changes Feb 04
• liquidsoap_1.3.4-1_amd64.changes ACCEPTED into unstable Feb 19
• Processing of why3_1.2.0-1_source.changes Feb 15
• morsmall_0.1-1_amd64.changes ACCEPTED into unstable, unstable Feb 04
• Processing of alt-ergo_2.0.0-3_source.changes Feb 14
• Processing of opam_2.0.3-1_amd64.changes Feb 01
• Processing of why3_1.1.1-3_source.changes Feb 03
• Bug#922387: Removed package(s) from unstable Feb 15
• Bug#922670: Removed package(s) from unstable Feb 19
• ssreflect_1.7.0+dfsg-1_source.changes ACCEPTED into unstable Feb 16
• Processing of ocaml-visitors_20180513-1_source.changes Feb 18
• Processing of camomile_1.0.1-3_amd64.changes Feb 15
• belenios_1.8+dfsg-1_amd64.changes ACCEPTED into unstable Feb 04
• ocaml-mm_0.4.0-1_amd64.changes ACCEPTED into unstable Feb 16
• ocaml-visitors_20180513-1_source.changes ACCEPTED into unstable Feb 18
• why3_1.1.1-3_source.changes ACCEPTED into unstable Feb 03
• Processing of alt-ergo_2.0.0-2_source.changes Feb 13
• ocamlweb_1.41-1_source.changes ACCEPTED into unstable Feb 11
• opam_2.0.3-1_amd64.changes ACCEPTED into unstable Feb 01

Debian testing autoremoval watch

• why3 is marked for autoremoval from testing Feb 21
• ssreflect is marked for autoremoval from testing Feb 19
• why is marked for autoremoval from testing Feb 19
• galax is marked for autoremoval from testing Feb 27
• why3 is marked for autoremoval from testing Feb 01
• liquidsoap is marked for autoremoval from testing Feb 16
• advi is marked for autoremoval from testing Feb 18
• camlimages is marked for autoremoval from testing Feb 18
• coq is marked for autoremoval from testing Feb 19

Debian testing watch

• coq 8.9.0-1 MIGRATED to testing Feb 25

Hilko Bengen

• Bug#922271: camomile: ocaml-gettext build still fails, due to wrong search path caused by camomile build Feb 13

James Van Zandt

• Bug#921278: bibtex2html: Lacks several math-related translations Feb 03
• Bug#921593: bibtex2html should transate math characters with overhead accents Feb 07
• Bug#921593: add translations for accents Feb 12
• Bug#921593: accent translations Feb 12
• Bug#921593: accent translations Feb 16

ksqsf

• [coq] coq-mode doesn't work in emacs Feb 14

Kyle Robbertze

• [Git][ocaml-team/ocaml-mm] Pushed new tag debian/0.4.0-1 Feb 17
• [Git][ocaml-team/liquidsoap][pristine-tar] pristine-tar data for liquidsoap_1.3.4.orig.tar.bz2 Feb 19
• [Git][ocaml-team/liquidsoap] Pushed new tag debian/1.3.4-1 Feb 19
• [Git][ocaml-team/liquidsoap][master] 5 commits: New upstream version 1.3.4 Feb 19
• [Git][ocaml-team/liquidsoap][upstream] New upstream version 1.3.4 Feb 19
• [Git][ocaml-team/camlimages] Pushed new tag debian/1%4.2.6-4 Feb 17
• [Git][ocaml-team/liquidsoap] Pushed new tag upstream/1.3.4 Feb 19
• [Git][ocaml-team/ocaml-mm][pristine-tar] pristine-tar data for ocaml-mm_0.4.0.orig.tar.gz Feb 17
• [Git][ocaml-team/ocaml-mm] Pushed new tag upstream/0.4.0 Feb 17
• [Git][ocaml-team/camomile] Pushed new tag debian/1.0.1-3 Feb 15
• Bug#921790: liquidsoap: FTBFS (ld: cannot find -lexif) Feb 17

Louis Gesbert

• Bug#908203: opam: Should not depend on aspcud any more Feb 26

Mehdi Dogguy

• [Git][ocaml-team/opam] Pushed new tag upstream/2.0.3 Feb 01
• [Git][ocaml-team/opam][pristine-tar] pristine-tar data for opam_2.0.3.orig.tar.gz Feb 01
• [Git][ocaml-team/opam][upstream] New upstream version 2.0.3 Feb 01
• [Git][ocaml-team/opam][master] 6 commits: New upstream version 2.0.3 Feb 01
• [Git][ocaml-team/opam] Pushed new tag debian/2.0.3-1 Feb 01

Nicholas D Steeves

• Bug#905940: convert package to dh-elpa Feb 04

Paul Gevers

• Bug#919953: /usrr/bin/dune and `dune' binary package should refer to dune-common Feb 28

Ralf Treinen

• [Git][ocaml-team/ssreflect][pristine-tar] pristine-tar data for ssreflect_1.7.0+dfsg.orig.tar.gz Feb 16
• [Git][ocaml-team/alt-ergo][upstream] New upstream version 2.0.0 Feb 13
• [Git][ocaml-team/morbig] Pushed new tag upstream/0.10.1 Feb 28
• [Git][ocaml-team/why3][upstream] New upstream version 1.2.0 Feb 14
• [Git][ocaml-team/ocaml-visitors][pristine-tar] pristine-tar data for ocaml-visitors_20180513.orig.tar.xz Feb 18
• Bug#902618: why: needs porting to why3 version 1.0.0 Feb 23
• [Git][ocaml-team/why3][pristine-tar] pristine-tar data for why3_1.2.0.orig.tar.gz Feb 14
• [Git][ocaml-team/ssreflect][upstream] New upstream version 1.7.0+dfsg Feb 16
• [Git][ocaml-team/ssreflect][upstream] New upstream version 1.7.0 Feb 13
• [Git][ocaml-team/alt-ergo] Pushed new tag debian/2.0.0-3 Feb 14
• [Git][ocaml-team/why3] Pushed new tag debian/1.2.0-1 Feb 15
• [Git][ocaml-team/why3][master] 4 commits: New upstream version 1.2.0 Feb 14
• Bug#921278: bibtex2html: Lacks several math-related translations Feb 04
• [Git][ocaml-team/ocamlweb] Pushed new tag debian/1.41-1 Feb 11
• Re: why is blocking Coq 8.9 from entering testing Feb 23
• [Git][ocaml-team/alt-ergo][pristine-tar] pristine-tar data for alt-ergo_2.0.0.orig.tar.gz Feb 13
• [Git][ocaml-team/alt-ergo] Pushed new tag upstream/2.0.0 Feb 13
• Bug#922692: galax: FTBFS on ppc64el - ERROR: unable to find camomileLibrary.cmi in /usr/lib/ocaml/camomile Feb 20
• [Git][ocaml-team/why3] Pushed new tag upstream/1.2.0 Feb 14
• [Git][ocaml-team/ssreflect][pristine-tar] pristine-tar data for ssreflect_1.7.0.orig.tar.gz Feb 13
• [Git][ocaml-team/morbig][upstream] New upstream version 0.10.1 Feb 28
• [Git][ocaml-team/ocaml-visitors] Pushed new tag upstream/20180513 Feb 18
• Bug#919461: ssreflect ftbfs in unstable Feb 07
• [Git][ocaml-team/ssreflect] Pushed new branch experimental/master Feb 13
• Re: why is blocking Coq 8.9 from entering testing Feb 24
• [Git][ocaml-team/alt-ergo][master] 13 commits: d/watch: -free releases Feb 13
• Bug#922133: src:marionnet: build-depends/depends on cruft packages Feb 13
• [Git][ocaml-team/alt-ergo] Pushed new tag debian/2.0.0-2 Feb 13
• [Git][ocaml-team/morbig][master] 14 commits: d/watch: initial 'v' of the tag optional Feb 28
• [Git][ocaml-team/why3] Pushed new tag debian/1.1.1-3 Feb 04
• [Git][ocaml-team/morbig][pristine-tar] pristine-tar data for morbig_0.10.1.orig.tar.xz Feb 28
• [Git][ocaml-team/ssreflect] Pushed new tag upstream/1.7.0+dfsg Feb 16
• [Git][ocaml-team/ocamlweb] Pushed new tag upstream/1.41 Feb 11
• ssreflect Feb 13
• [Git][ocaml-team/ssreflect] Pushed new tag debian/1.7.0+dfsg-1 Feb 16
• [Git][ocaml-team/why3] Pushed new tag debian/1.1.1-4 Feb 07
• [Git][ocaml-team/ssreflect][master] 21 commits: point d/watch to github Feb 16
• Bug#923215: split into several binary packages Feb 25
• [Git][ocaml-team/alt-ergo] Pushed new tag debian/2.0.0-1 Feb 13
• [Git][ocaml-team/ocaml-visitors] Pushed new tag debian/20180513-1 Feb 18
• [Git][ocaml-team/ssreflect] Pushed new tag upstream/1.7.0 Feb 13
• [Git][ocaml-team/why3] Pushed new tag debian/1.1.1-2 Feb 04

S&B.info bvba

• Nieuws - goud is een onmisbare bescherming voor schuldenberg van 250 miljard Feb 14

Santiago Vila

• Bug#921790: liquidsoap: FTBFS (ld: cannot find -lexif) Feb 09

Scott Kitterman

• Bug#922133: src:marionnet: build-depends/depends on cruft packages Feb 14
• Bug#922133: src:marionnet: build-depends/depends on cruft packages Feb 12

Sunil Mohan Adapa

• Bug#921812: mldonkey-server: Add systemd service file for better security Feb 09

Thierry Fauck@linux.ibm.com

• Bug#922692: galax: FTBFS on ppc64el - ERROR: unable to find camomileLibrary.cmi in /usr/lib/ocaml/camomile Feb 19

Thorsten Alteholz

• Comments regarding morsmall_0.1-1_amd64.changes Feb 04

[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]