debian-ocaml-maint Nov 2018 by author

[previous page]

Page 1 of 1

[next page]

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

---

Adrian Bunk

• Bug#913606: matita FTBFS with lablgtk2 2.18.5+dfsg-2 Nov 12

Andy Li

• RFS: ocaml-ptmap/2.0.4-1 Nov 16

Daniel Reichelt

• Re: unison: Please update to latest upstream version Nov 30

Debian Bug Tracking System

• Processed: Bug #911159 in frama-c marked as pending Nov 12
• Processed: fixed 895969 in 2.21.1-1, fixed 878172 in 0.3.2.1-alpha-1, notfound 867748 in 8:6.9.7.4+dfsg-11 ... Nov 27
• Bug#911159: marked as done (please stop building the frama-c GUI) Nov 12
• Processed: your mail Nov 22
• Processed: tagging 911595, tagging 911596, tagging 912076, tagging 912547, tagging 912926, tagging 911094 ... Nov 07
• Bug#906001: marked as done (why3: needs porting to cvc4 version 1.6 ) Nov 05
• Processed: Re: Bug#901823: ocaml-atd FTBFS on i386: tests failure Nov 26

Debian FTP Masters

• ocaml-qtest_2.9-1_amd64.changes ACCEPTED into unstable, unstable Nov 07
• Processing of frama-c_20171101+sulfur+dfsg-2_amd64.changes Nov 12
• Processing of ocaml-duppy_0.8.0-1_amd64.changes Nov 26
• why3_1.1.0-1_source.changes ACCEPTED into unstable Nov 05
• frama-c_20171101+sulfur+dfsg-2_amd64.changes ACCEPTED into unstable Nov 12
• menhir_20181113-1_source.changes ACCEPTED into unstable Nov 14
• Processing of why3_1.1.0-1_source.changes Nov 05
• morbig_0.9-1_amd64.changes ACCEPTED into unstable, unstable Nov 22
• alt-ergo_1.30+dfsg1-2_source.changes ACCEPTED into unstable Nov 13
• Processing of alt-ergo_1.30+dfsg1-2_source.changes Nov 13
• ocaml-duppy_0.8.0-1_amd64.changes ACCEPTED into unstable Nov 26
• Processing of menhir_20181113-1_source.changes Nov 14

Debian testing autoremoval watch

• liquidsoap is marked for autoremoval from testing Nov 23
• camlimages is marked for autoremoval from testing Nov 23
• lablgtk-extras is marked for autoremoval from testing Nov 05
• matita is marked for autoremoval from testing Nov 20
• camlimages is marked for autoremoval from testing Nov 03
• lablgtk-extras is marked for autoremoval from testing Nov 25
• liquidsoap is marked for autoremoval from testing Nov 03
• advi is marked for autoremoval from testing Nov 03
• advi is marked for autoremoval from testing Nov 23
• why is marked for autoremoval from testing Nov 03
• frama-c is marked for autoremoval from testing Nov 03

Jakub Wilk

• Bug#913549: ocamlbuild: new upstream release (0.13.1) Nov 12

James McCoy

• Re: Bug#911854: build-rdeps: some (transitive) rdeps are missing Nov 01

Johannes Schauer

• Bug#901823: ocaml-atd FTBFS on i386: tests failure Nov 26

Kyle Robbertze

• [Git][ocaml-team/ocaml-duppy][pristine-tar] pristine-tar data for ocaml-duppy_0.8.0.orig.tar.gz Nov 26
• [Git][ocaml-team/ocaml-duppy] Pushed new tag debian/0.8.0-1 Nov 26
• [Git][ocaml-team/ocaml-duppy] Pushed new tag upstream/0.8.0 Nov 26

Ralf Treinen

• [Git][ocaml-team/menhir] Pushed new tag debian/20181113-1 Nov 15
• [Git][ocaml-team/alt-ergo] Pushed new tag debian/1.30+dfsg1-2 Nov 13
• [Git][ocaml-team/morbig] Pushed new tag debian/0.9-1 Nov 22
• [Git][ocaml-team/morbig][pristine-tar] pristine-tar data for morbig_0.9.1.orig.tar.gz Nov 29
• [Git][ocaml-team/menhir][pristine-tar] pristine-tar data for menhir_20181113.orig.tar.gz Nov 14
• [Git][ocaml-team/menhir] Pushed new branch stable/master Nov 15
• [Git][ocaml-team/menhir][upstream] New upstream version 20181113 Nov 14
• [Git][ocaml-team/menhir][master] 7 commits: New upstream version 20181113 Nov 14
• [Git][ocaml-team/morbig] Pushed new tag upstream/0.9.1 Nov 29
• [Git][ocaml-team/menhir] Pushed new tag upstream/20181113 Nov 15

Stéphane Glondu

• [Git][ocaml-team/frama-c] Pushed new tag debian/20171101+sulfur+dfsg-2 Nov 12

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