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