debian-ocaml-maint Nov 2018 by subject
![[First Page]](/images/first.png) |
[previous page]
|
Page 1 of 1 |
[next page]
|
![[Last Page]](/images/last.png) |
[Thread Index]
[Date Index]
[Author Index]
[Other Debian Lists]
[Debian Home]
advi is marked for autoremoval from testing
alt-ergo_1.30+dfsg1-2_source.changes ACCEPTED into unstable
Bug#901823: ocaml-atd FTBFS on i386: tests failure
Bug#906001: marked as done (why3: needs porting to cvc4 version 1.6 )
Bug#911159: marked as done (please stop building the frama-c GUI)
Re: Bug#911854: build-rdeps: some (transitive) rdeps are missing
Bug#913549: ocamlbuild: new upstream release (0.13.1)
Bug#913606: matita FTBFS with lablgtk2 2.18.5+dfsg-2
camlimages is marked for autoremoval from testing
frama-c_20171101+sulfur+dfsg-2_amd64.changes ACCEPTED into unstable
frama-c is marked for autoremoval from testing
[Git][ocaml-team/alt-ergo] Pushed new tag debian/1.30+dfsg1-2
[Git][ocaml-team/frama-c] Pushed new tag debian/20171101+sulfur+dfsg-2
[Git][ocaml-team/menhir][master] 7 commits: New upstream version 20181113
[Git][ocaml-team/menhir][pristine-tar] pristine-tar data for menhir_20181113.orig.tar.gz
[Git][ocaml-team/menhir] Pushed new branch stable/master
[Git][ocaml-team/menhir] Pushed new tag debian/20181113-1
[Git][ocaml-team/menhir] Pushed new tag upstream/20181113
[Git][ocaml-team/menhir][upstream] New upstream version 20181113
[Git][ocaml-team/morbig][pristine-tar] pristine-tar data for morbig_0.9.1.orig.tar.gz
[Git][ocaml-team/morbig] Pushed new tag debian/0.9-1
[Git][ocaml-team/morbig] Pushed new tag upstream/0.9.1
[Git][ocaml-team/ocaml-duppy][pristine-tar] pristine-tar data for ocaml-duppy_0.8.0.orig.tar.gz
[Git][ocaml-team/ocaml-duppy] Pushed new tag debian/0.8.0-1
[Git][ocaml-team/ocaml-duppy] Pushed new tag upstream/0.8.0
lablgtk-extras is marked for autoremoval from testing
liquidsoap is marked for autoremoval from testing
matita is marked for autoremoval from testing
menhir_20181113-1_source.changes ACCEPTED into unstable
morbig_0.9-1_amd64.changes ACCEPTED into unstable, unstable
ocaml-duppy_0.8.0-1_amd64.changes ACCEPTED into unstable
ocaml-qtest_2.9-1_amd64.changes ACCEPTED into unstable, unstable
Processed: Bug #911159 in frama-c marked as pending
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 ...
Processed: Re: Bug#901823: ocaml-atd FTBFS on i386: tests failure
Processed: tagging 911595, tagging 911596, tagging 912076, tagging 912547, tagging 912926, tagging 911094 ...
Processed: your mail
Processing of alt-ergo_1.30+dfsg1-2_source.changes
Processing of frama-c_20171101+sulfur+dfsg-2_amd64.changes
Processing of menhir_20181113-1_source.changes
Processing of ocaml-duppy_0.8.0-1_amd64.changes
Processing of why3_1.1.0-1_source.changes
RFS: ocaml-ptmap/2.0.4-1
Re: unison: Please update to latest upstream version
why3_1.1.0-1_source.changes ACCEPTED into unstable
why is marked for autoremoval from testing
The last update was on 16:23 GMT Wed May 01. There are 50 messages. Page 1 of 1.
[Thread Index]
[Subject Index]
[Author Index]
[Other Debian Lists]
[Debian Home]
Mail converted by MHonArc
