debian-ocaml-maint Mar 2016 by author

[previous page]

Page 1 of 1

[next page]

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

---

Baptiste Jonglez

• Bug#802919: unison: synchronization incompatibility when built with Ocaml versions pre/post-4.02 Mar 24

Cara

• Bug#818952: marionnet: Please make the build reproducible (timestamps, captures kernel version) Mar 22

David Kalnischkies

• Bug#818912: apt-cudf shouldn't exit non-zero if it isn't crashing Mar 21

Debian Bug Tracking System

• Bug#816102: marked as done (libcamlimages-ocaml-dev: Please depend on libpng-dev instead of libpng12-dev) Mar 21
• Processed (with 1 error): your mail Mar 22
• Processed (with 1 error): Re: Bug#818331: aac-tactics: FTBFS: constructor vcons (in type vT) expects 2 arguments Mar 19
• Bug#812786: marked as done (dose3: Please add support for hardened1-linux-amd64) Mar 13
• Processed: bug 818912 is forwarded to https://gforge.inria.fr/tracker/index.php?func=detail&aid=20169&group_id=4395&atid=13808 Mar 22
• Bug#818081: marked as done (opam: Please apply upstream patch: remove insecure / no-check-certificate flags) Mar 19
• Bug#815315: marked as done (ben: FTBFS on mips, mipsel: dot: emit.c:3874: bezier_bb: Assertion `bz.size % 3 == 1' failed.) Mar 19
• Bug#811248: marked as done (Error in manpage: --arch should be --deb-native-arch) Mar 13
• Processed: Re: Bug#815315: ben: FTBFS on mips, mipsel: dot: emit.c:3874: bezier_bb: Assertion `bz.size % 3 == 1' failed. Mar 11
• Processed: camlimages: diff for NMU version 1:4.2.0-1.1 Mar 16
• Processed (with 2 errors): your mail Mar 22
• Bug#810213: marked as done (Ben: Use https instead of http for external links) Mar 19

Debian FTP Masters

• Processing of opam_1.2.2-5_amd64.changes Mar 19
• hevea-doc_2.28-1_amd64.changes ACCEPTED into unstable Mar 15
• Processing of why3_0.87.0-1_amd64.changes Mar 20
• Processing of ben_0.7.4_amd64.changes Mar 19
• Processing of hevea-doc_2.28-1_amd64.changes Mar 15
• ben_0.7.4_amd64.changes ACCEPTED into unstable Mar 19
• camlimages_4.2.0-1.1_amd64.changes ACCEPTED into unstable Mar 21
• alt-ergo_1.01-1_amd64.changes ACCEPTED into unstable Mar 01
• why3_0.87.0-1_amd64.changes is NEW Mar 20
• opam_1.2.2-5_amd64.changes ACCEPTED into unstable Mar 19
• Processing of camlimages_4.2.0-1.1_amd64.changes Mar 16
• Processing of dose3_4.2-1_amd64.changes Mar 13
• Processing of utop_1.18.2-1_source.changes Mar 21
• Processing of hevea_2.28-1_amd64.changes Mar 14
• Processing of alt-ergo_1.01-1_amd64.changes Mar 01
• dose3_4.2-1_amd64.changes ACCEPTED into experimental Mar 13
• why3_0.87.0-1_amd64.changes ACCEPTED into unstable, unstable Mar 21
• utop_1.18.2-1_source.changes ACCEPTED into unstable Mar 21
• hevea_2.28-1_amd64.changes ACCEPTED into unstable Mar 14

Debian testing autoremoval watch

• ssreflect is marked for autoremoval from testing Mar 05
• ben is marked for autoremoval from testing Mar 20
• mathcomp is marked for autoremoval from testing Mar 05
• coq-float is marked for autoremoval from testing Mar 03

Enrico Tassi

• Re: Status of Coq-related packages Mar 19

Gerencia - Transporte Progaven

• Caso de Exito - Alquiler de Grúas Odebrecht Mar 29

Gianfranco Costamagna

• Bug#816102: camlimages: diff for NMU version 1:4.2.0-1.1 Mar 16

Iam Human

• They kill with wars, alcohol and abortions. Save us!!! Mar 11

Ian Zimmerman

• Bug#817085: unison: Cannot run emacs from merge tool Mar 08

Incassobureau

• Neem actie tegen wanbetalers Mar 08

Johannes Schauer

• Re: Archive changes Mar 16
• Bug#815315: ben: FTBFS on mips, mipsel: dot: emit.c:3874: bezier_bb: Assertion `bz.size % 3 == 1' failed. Mar 11

Liang Guo

• Bug#819341: [unison] Please build unison-fsmonitor Mar 27

Martin Michlmayr

• Bug#818331: aac-tactics: FTBFS: constructor vcons (in type vT) expects 2 arguments Mar 16
• Bug#818331: aac-tactics: FTBFS: constructor vcons (in type vT) expects 2 arguments Mar 19

Mehdi Dogguy

• Re: Archive changes Mar 17
• Bug#818331: aac-tactics: FTBFS: constructor vcons (in type vT) expects 2 arguments Mar 19
• Status of Coq-related packages Mar 19

Pietro Abate

• Bug#818912: apt-cudf shouldn't exit non-zero if it isn't crashing Mar 22

Santiago Vila

• Bug#805993: apron: FTBFS when built with dpkg-buildpackage -A (No such file or directory) Mar 27

Ximin Luo

• Bug#818081: opam: Please apply upstream patch: remove insecure / no-check-certificate flags Mar 13

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