debian-ocaml-maint Nov 2015 by subject
|
[previous page]
|
Page 1 of 1 |
[next page]
|
|
[Thread Index]
[Date Index]
[Author Index]
[Other Debian Lists]
[Debian Home]
Accepted coq 8.5~beta3+dfsg-1 (source amd64) into experimental
Accepted coq 8.5~beta3+dfsg-2 (source amd64) into experimental
Re: Bug#789133: transition: ocaml 4.02.3
Bug#792657: udating ocaml-ctypes ?
Bug#794583: Fwd: Re: OCaml and reproducible builds
Bug#802166: otags: fails to install: post-installation script returned error exit status 3
Bug#803887: info ocaml fails
Bug#805270: opam's integration with fish shell broken
Bug#805456: unison: fails to recognize changes after upgrade of unison on both hosts
Bug#805818: ocamlgsl: Fails to build with GSL 2
Bug#805993: apron: FTBFS when built with dpkg-buildpackage -A (No such file or directory)
Bug#806008: coq: FTBFS when built with dpkg-buildpackage -A (No such file or directory)
Bug#806028: galax: FTBFS when built with dpkg-buildpackage -A (No such file or directory)
Bug#806087: ocaml: FTBFS when built with dpkg-buildpackage -A (No such file or directory)
Bug#806209: jsonm: FTBFS when built with dpkg-buildpackage -A (dh_ocamldoc -i fails)
Bug#806210: uutf: FTBFS when built with dpkg-buildpackage -A (dh_ocamldoc -i fails)
Bug#806611: coccinelle: FTBFS when built with dpkg-buildpackage -A (recipe for target 'check' failed)
Bug#806625: lablgtk2: FTBFS when built with dpkg-buildpackage -A (dh_ocamldoc fails)
cduce REMOVED from testing
coccinelle_1.0.4.deb-1_amd64.changes ACCEPTED into unstable
coq 8.4pl4dfsg-3 MIGRATED to testing
coq_8.5~beta3+dfsg-1_amd64.changes ACCEPTED into experimental
coq_8.5~beta3+dfsg-2_amd64.changes ACCEPTED into experimental
failed arm64 build of coq 8.5~beta3+dfsg-1
failed armel build of coq 8.5~beta3+dfsg-1
failed armel build of coq 8.5~beta3+dfsg-2
failed armhf build of coq 8.5~beta3+dfsg-1
failed armhf build of coq 8.5~beta3+dfsg-2
failed kfreebsd-amd64 build of coq 8.5~beta3+dfsg-1
failed kfreebsd-i386 build of coq 8.5~beta3+dfsg-1
failed mips build of coq 8.5~beta3+dfsg-2
failed mipsel build of coq 8.5~beta3+dfsg-2
failed powerpc build of coq 8.5~beta3+dfsg-1
failed powerpc build of coq 8.5~beta3+dfsg-2
failed ppc64el build of coq 8.5~beta3+dfsg-1
failed s390x build of coq 8.5~beta3+dfsg-1
Geen watervoorraad meer te voorzien dankzij een waterfontein
js-of-ocaml_2.5-2_amd64.changes ACCEPTED into unstable
meta-unison is marked for autoremoval from testing
obus_1.1.5-5_amd64.changes ACCEPTED into unstable
Ocaml package: warning
ocaml-ssl_0.5.1-2_amd64.changes ACCEPTED into unstable
Processed: Blocking bugs for transition to GSL 2
Processed: Re: OCaml and reproducible builds
Processed: udating ocaml-ctypes ?
Processing of coccinelle_1.0.4.deb-1_amd64.changes
Processing of coq_8.5~beta3+dfsg-1_amd64.changes
Processing of coq_8.5~beta3+dfsg-2_amd64.changes
Processing of js-of-ocaml_2.5-2_amd64.changes
Processing of obus_1.1.5-5_amd64.changes
Processing of ocaml-ssl_0.5.1-2_amd64.changes
Processing of react_1.2.0-2_amd64.changes
Processing of reactivedata_0.1-2_amd64.changes
react_1.2.0-2_amd64.changes ACCEPTED into unstable
reactivedata_0.1-1_amd64.changes ACCEPTED into experimental, experimental
reactivedata_0.1-2_amd64.changes ACCEPTED into unstable
unison is marked for autoremoval from testing
Verzacht uw kraantjeswater
The last update was on 18:36 GMT Wed Jun 05. There are 62 messages. Page 1 of 1.
[Thread Index]
[Subject Index]
[Author Index]
[Other Debian Lists]
[Debian Home]
Mail converted by MHonArc