debian-ocaml-maint Mar 2016 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]
Caso de Exito - Alquiler de Grúas Odebrecht
alt-ergo_1.01-1_amd64.changes ACCEPTED into unstable
Re: Archive changes
ben is marked for autoremoval from testing
ben_0.7.4_amd64.changes ACCEPTED into unstable
Bug#802919: unison: synchronization incompatibility when built with Ocaml versions pre/post-4.02
Bug#805993: apron: FTBFS when built with dpkg-buildpackage -A (No such file or directory)
Bug#810213: marked as done (Ben: Use https instead of http for external links)
Bug#811248: marked as done (Error in manpage: --arch should be --deb-native-arch)
Bug#812786: marked as done (dose3: Please add support for hardened1-linux-amd64)
Bug#815315: ben: FTBFS on mips, mipsel: dot: emit.c:3874: bezier_bb: Assertion `bz.size % 3 == 1' failed.
Bug#815315: marked as done (ben: FTBFS on mips, mipsel: dot: emit.c:3874: bezier_bb: Assertion `bz.size % 3 == 1' failed.)
Bug#816102: camlimages: diff for NMU version 1:4.2.0-1.1
Bug#816102: marked as done (libcamlimages-ocaml-dev: Please depend on libpng-dev instead of libpng12-dev)
Bug#817085: unison: Cannot run emacs from merge tool
Bug#818081: marked as done (opam: Please apply upstream patch: remove insecure / no-check-certificate flags)
Bug#818081: opam: Please apply upstream patch: remove insecure / no-check-certificate flags
Bug#818331: aac-tactics: FTBFS: constructor vcons (in type vT) expects 2 arguments
Bug#818912: apt-cudf shouldn't exit non-zero if it isn't crashing
Bug#818952: marionnet: Please make the build reproducible (timestamps, captures kernel version)
Bug#819341: [unison] Please build unison-fsmonitor
camlimages_4.2.0-1.1_amd64.changes ACCEPTED into unstable
coq-float is marked for autoremoval from testing
dose3_4.2-1_amd64.changes ACCEPTED into experimental
hevea-doc_2.28-1_amd64.changes ACCEPTED into unstable
hevea_2.28-1_amd64.changes ACCEPTED into unstable
mathcomp is marked for autoremoval from testing
Neem actie tegen wanbetalers
opam_1.2.2-5_amd64.changes ACCEPTED into unstable
Processed (with 1 error): Re: Bug#818331: aac-tactics: FTBFS: constructor vcons (in type vT) expects 2 arguments
Processed (with 1 error): your mail
Processed (with 2 errors): your mail
Processed: bug 818912 is forwarded to https://gforge.inria.fr/tracker/index.php?func=detail&aid=20169&group_id=4395&atid=13808
Processed: camlimages: diff for NMU version 1:4.2.0-1.1
Processed: Re: Bug#815315: ben: FTBFS on mips, mipsel: dot: emit.c:3874: bezier_bb: Assertion `bz.size % 3 == 1' failed.
Processing of alt-ergo_1.01-1_amd64.changes
Processing of ben_0.7.4_amd64.changes
Processing of camlimages_4.2.0-1.1_amd64.changes
Processing of dose3_4.2-1_amd64.changes
Processing of hevea-doc_2.28-1_amd64.changes
Processing of hevea_2.28-1_amd64.changes
Processing of opam_1.2.2-5_amd64.changes
Processing of utop_1.18.2-1_source.changes
Processing of why3_0.87.0-1_amd64.changes
ssreflect is marked for autoremoval from testing
Status of Coq-related packages
They kill with wars, alcohol and abortions. Save us!!!
utop_1.18.2-1_source.changes ACCEPTED into unstable
why3_0.87.0-1_amd64.changes ACCEPTED into unstable, unstable
why3_0.87.0-1_amd64.changes is NEW
The last update was on 12:37 GMT Wed Jun 05. There are 55 messages. Page 1 of 1.
[Thread Index]
[Subject Index]
[Author Index]
[Other Debian Lists]
[Debian Home]
Mail converted by MHonArc
