Messages by Thread
-
Bug#666314: unison2.27.57: upcoming rsvg removal
Michael Biebl
-
Bug#666312: upcoming rsvg removal, switch to rsvg-convert
Michael Biebl
-
Bug#666281: upcoming rsvg removal, switch to rsvg-convert
Michael Biebl
-
Processed: block 666314 with 666276
Debian Bug Tracking System
-
Processed: block 666281 with 666276
Debian Bug Tracking System
-
Processed: block 666312 with 666276
Debian Bug Tracking System
-
Bug#666381: camlidl: FTBFS: debian/xml-man/en/camlidl.1: No such file or directory at /usr/bin/dh_installman line 127.
Lucas Nussbaum
-
Bug#666377: cameleon: FTBFS: debian/xml-man/en/tdl.byte.1: No such file or directory at /usr/bin/dh_installman line 127.
Lucas Nussbaum
-
Bug#666314: unison2.27.57: FTBFS: make: rsvg: Command not found
Lucas Nussbaum
-
Bug#666312: unison: FTBFS: make: rsvg: Command not found
Lucas Nussbaum
-
Bug#666281: unison2.32.52: FTBFS: make: rsvg: Command not found
Lucas Nussbaum
-
Processed: tagging 666257
Debian Bug Tracking System
-
coq-float_8.3pl1-3_amd64.changes ACCEPTED into unstable
Debian FTP Masters
-
Processing of coq-float_8.3pl1-3_amd64.changes
Debian FTP Masters
-
Bug#666257: libderiving-ocsigen-ocaml works
David Brown
-
Bug#666257: Compile command for test program
David Brown
-
Bug#666257: libderiving-ocaml: Programs using libderiving fail to link (archive missing in META)
David Brown
-
[bts-link] source package dose3
bts-link-upstream
-
Accepted approx 5.1-1.2 (source amd64)
gregor herrmann
-
coq_8.3.pl4+dfsg-1_mipsel.changes REJECTED
Debian FTP Masters
-
coq_8.3.pl4+dfsg-1_armhf.changes REJECTED
Debian FTP Masters
-
coq_8.3.pl4+dfsg-1_armel.changes REJECTED
Debian FTP Masters
-
coq_8.3.pl4+dfsg-1_sparc.changes REJECTED
Debian FTP Masters
-
coq_8.3.pl4+dfsg-1_amd64.changes ACCEPTED into unstable
Debian FTP Masters
-
Processing of coq_8.3.pl4+dfsg-1_amd64.changes
Debian FTP Masters
-
Accepted coq 8.3.pl4+dfsg-1 (source all amd64)
Stéphane Glondu
-
camlp5_6.05-1_amd64.changes ACCEPTED into unstable
Debian FTP Masters
-
Processing of camlp5_6.05-1_amd64.changes
Debian FTP Masters
-
libaio-ocaml_1.0.1-1_amd64.changes ACCEPTED into experimental
Debian FTP Masters
-
Processing of libaio-ocaml_1.0.1-1_amd64.changes
Debian FTP Masters
-
Processed: severity of 665447 is wishlist
Debian Bug Tracking System
-
Bug#665447: Please install coinst_converter and jsviewer.js
Mehdi Dogguy
-
ocaml-zarith_1.0-6_amd64.changes ACCEPTED into unstable
Debian FTP Masters
-
Processing of ocaml-zarith_1.0-6_amd64.changes
Debian FTP Masters
-
which sexplib, type-conv and bin_prot
Florent Monnier
-
Processed: tagging 665378
Debian Bug Tracking System
-
Processed: bug 665378 is forwarded to http://gforge.info.ucl.ac.be/tracker/index.php?func=detail&aid=360&group_id=35&atid=283
Debian Bug Tracking System
-
Bug#665378: dose-distcheck: dose-debcheck --explain returns incorrect version numbers
Andreas Beckmann
-
[bts-link] source package src:ocaml-sha
bts-link-upstream
-
eliom_2.1.0-1_amd64.changes ACCEPTED into experimental
Debian FTP Masters
-
dose3_2.9.14-3_amd64.changes ACCEPTED into unstable
Debian FTP Masters
-
Processing of dose3_2.9.14-3_amd64.changes
Debian FTP Masters
-
Processed: tagging 664860
Debian Bug Tracking System
-
Bug#664860: apt-cudf: unowned directory after purge: /usr/lib/apt/solvers
Andreas Beckmann
-
file: strange output on ocaml bytecode
Ralf Treinen
-
eliom_2.1.0-1_amd64.changes is NEW
Debian FTP Masters
-
Processing of eliom_2.1.0-1_amd64.changes
Debian FTP Masters
-
coccinelle_1.0.0~rc11.deb-1_amd64.changes ACCEPTED into unstable
Debian FTP Masters
-
Processing of coccinelle_1.0.0~rc11.deb-1_amd64.changes
Debian FTP Masters
-
dose3_2.9.14-2_amd64.changes ACCEPTED into unstable
Debian FTP Masters
-
Processing of dose3_2.9.14-2_amd64.changes
Debian FTP Masters
-
cduce 0.5.5-1 MIGRATED to testing
Debian testing watch
-
coq 8.3.pl3+dfsg-2 MIGRATED to testing
Debian testing watch
-
ocsigenserver_2.0.4-1_amd64.changes ACCEPTED into unstable
Debian FTP Masters
-
Processing of ocsigenserver_2.0.4-1_amd64.changes
Debian FTP Masters
-
js-of-ocaml_1.1.1-1_amd64.changes ACCEPTED into unstable
Debian FTP Masters
-
Processing of js-of-ocaml_1.1.1-1_amd64.changes
Debian FTP Masters
-
Processed: Re: Bug#663520: Support for incremental updates, bigarrays and multithreading
Debian Bug Tracking System
-
dose3_2.9.14-1_amd64.changes ACCEPTED into unstable
Debian FTP Masters
-
Processing of dose3_2.9.14-1_amd64.changes
Debian FTP Masters
-
Bug#664200: cppo: please change to arch:any
ygrek
-
Bug#663905: libextlib-ocaml-dev: (@) operator will not be loaded correctly, if using module ExtLib, link to bugreport/fix attached
Andreas Romeyke
-
Bug#663754: ITP: hol-light -- HOL Light theorem prover
Hendrik Tews
-
Bug#663666: FTBFS with camlp5 6.05
Stéphane Glondu
-
ounit 1.1.1-1 MIGRATED to testing
Debian testing watch
-
Bug#663520: Update: Support for incremental updates, bigarrays and multithreading
Goswin von Brederlow
-
Bug#663520: Support for incremental updates, bigarrays and multithreading
Goswin von Brederlow
-
Bug#663500: Do not include .pc subdirs during build
Goswin von Brederlow
-
libaio-ocaml_1.0-1_amd64.changes ACCEPTED into experimental
Debian FTP Masters
-
libaio-ocaml_1.0-1_amd64.changes is NEW
Debian FTP Masters
-
Processing of libaio-ocaml_1.0-1_amd64.changes
Debian FTP Masters
-
ocaml-gnuplot_0.8.3-3_amd64.changes ACCEPTED into unstable
Debian FTP Masters
-
Processing of ocaml-gnuplot_0.8.3-3_amd64.changes
Debian FTP Masters
-
Processed: tagging 663172
Debian Bug Tracking System
-
Processed: closing 520265
Debian Bug Tracking System
-
Bug#663180: Patch fix
Goswin von Brederlow
-
Processed: severity of 663172 is important
Debian Bug Tracking System
-
Bug#663180: Provides no zero value
Goswin von Brederlow
-
Bug#663179: Homepage dead, abandoned upstream?
Goswin von Brederlow
-
Processed: fixed 520265 in 1.7-1
Debian Bug Tracking System
-
Bug#520265: #520265: Missing architecture independent binary representation
Goswin von Brederlow
-
Bug#663172: ocaml-gnuplot: ocamlopt: Command not found
Nobuhiro Iwamatsu
-
Bug#588978: cannot reproduce with 3.11.2-2 or 3.12.1
Eric Cooper
-
Processed: fixed 452820 in 3.11.2-2
Debian Bug Tracking System
-
Bug#452820: marked as done (ocaml-mode: obsolete string-to-int)
Debian Bug Tracking System
-
package HOL Light?
Hendrik Tews
-
otags parse errors in /usr/lib/ocaml
Hendrik Tews
-
Bug#662921: libxmlm-ocaml-dev: wrong output with custom functions
ygrek
-
Accepted approx 5.1-1.1 (source amd64)
Stéphane Glondu
-
meta-unison_2.40+1_amd64.changes ACCEPTED into unstable
Debian FTP Masters
-
ssreflect_1.3pl2-3_amd64.changes ACCEPTED into unstable
Debian FTP Masters
-
coq-float_8.3pl1-2_amd64.changes ACCEPTED into unstable
Debian FTP Masters
-
Processing of ssreflect_1.3pl2-3_amd64.changes
Debian FTP Masters
-
Processing of coq-float_8.3pl1-2_amd64.changes
Debian FTP Masters
-
Bug#662746: mingw32-ocaml: fails to upgrade from squeeze
Andreas Beckmann
-
Processed: limit source to camlimages, tagging 662281
Debian Bug Tracking System
-
Bug#662738: frama-c: segfault when running frama-c-gui
Raphael Geissert
-
ocamlsdl_0.8.0-4_amd64.changes ACCEPTED into unstable
Debian FTP Masters
-
gd4o_1.0~alpha5-5_amd64.changes ACCEPTED into unstable
Debian FTP Masters
-
aac-tactics_0.2.pl2-5_amd64.changes ACCEPTED into unstable
Debian FTP Masters
-
Processing of aac-tactics_0.2.pl2-5_amd64.changes
Debian FTP Masters
-
Processing of gd4o_1.0~alpha5-5_amd64.changes
Debian FTP Masters
-
Processing of ocamlsdl_0.8.0-4_amd64.changes
Debian FTP Masters
-
RFS: libaio-ocaml/1.0~rc1
Goswin von Brederlow
-
ocamlmakefile_6.36.0-1_amd64.changes ACCEPTED into unstable
Debian FTP Masters
-
Processing of ocamlmakefile_6.36.0-1_amd64.changes
Debian FTP Masters
-
Bug#662449: ocamlsdl: Please Build-Depends on libpng-dev, change from libpng12-dev
Nobuhiro Iwamatsu
-
Bug#662342: gd4o: Please Build-Depends on libpng-dev, change from libpng12-dev
Nobuhiro Iwamatsu
-
Bug#662281: camlimages: Please Build-Depends on libpng-dev, change from libpng12-dev
Nobuhiro Iwamatsu
-
js-of-ocaml_1.1-1_amd64.changes ACCEPTED into unstable
Debian FTP Masters
-
Processing of js-of-ocaml_1.1-1_amd64.changes
Debian FTP Masters
-
coq_8.3.pl3+dfsg-2_amd64.changes ACCEPTED into unstable
Debian FTP Masters
-
Processing of coq_8.3.pl3+dfsg-2_amd64.changes
Debian FTP Masters
-
Accepted coq 8.3.pl3+dfsg-2 (source all amd64)
Stéphane Glondu
-
ulex0.8_0.8-10_amd64.changes ACCEPTED into unstable
Debian FTP Masters
-
ledit_2.03-1_amd64.changes ACCEPTED into unstable
Debian FTP Masters
-
Processing of ulex0.8_0.8-10_amd64.changes
Debian FTP Masters
-
Processing of ledit_2.03-1_amd64.changes
Debian FTP Masters
-
cduce_0.5.5-1_amd64.changes ACCEPTED into unstable
Debian FTP Masters
-
Processing of cduce_0.5.5-1_amd64.changes
Debian FTP Masters
-
Accepted cduce 0.5.5-1 (source amd64)
Stéphane Glondu
-
meta-unison_2.40+1_amd64.changes is NEW
Debian FTP Masters
-
Processing of meta-unison_2.40+1_amd64.changes
Debian FTP Masters
-
coccinelle 1.0.0~rc10.deb-1 MIGRATED to testing
Debian testing watch
-
camlp5_6.04-1_amd64.changes ACCEPTED into unstable
Debian FTP Masters
-
Processing of camlp5_6.04-1_amd64.changes
Debian FTP Masters
-
Processed: Re: Bug#467563: camlp5 strict mode?
Debian Bug Tracking System
-
ounit_1.1.1-1_amd64.changes ACCEPTED into unstable
Debian FTP Masters
-
postgresql-ocaml_1.18.0-1_amd64.changes ACCEPTED into unstable
Debian FTP Masters
-
Processing of postgresql-ocaml_1.18.0-1_amd64.changes
Debian FTP Masters
-
Processing of ounit_1.1.1-1_amd64.changes
Debian FTP Masters