debian-ocaml-maint Mar 2012 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]
[bts-link] source package dose3
[bts-link] source package ocaml
[bts-link] source package src:ocaml-sha
aac-tactics_0.2.pl2-5_amd64.changes ACCEPTED into unstable
Accepted approx 5.1-1.1 (source amd64)
Accepted approx 5.1-1.2 (source amd64)
Accepted cduce 0.5.5-1 (source amd64)
Accepted coq 8.3.pl3+dfsg-2 (source all amd64)
Accepted coq 8.3.pl4+dfsg-1 (source all amd64)
Bug#452820: marked as done (ocaml-mode: obsolete string-to-int)
Bug#467563: camlp5 strict mode?
Bug#520265: #520265: Missing architecture independent binary representation
Bug#588978: cannot reproduce with 3.11.2-2 or 3.12.1
Bug#659834: marked as done (apt-cudf: fails to install - Can't locate File/Basename.pm)
Bug#661775: FTBFS with ocamlnet 3.5.1
Bug#662281: camlimages: Please Build-Depends on libpng-dev, change from libpng12-dev
Bug#662342: gd4o: Please Build-Depends on libpng-dev, change from libpng12-dev
Bug#662342: marked as done (gd4o: Please Build-Depends on libpng-dev, change from libpng12-dev)
Bug#662449: marked as done (ocamlsdl: Please Build-Depends on libpng-dev, change from libpng12-dev)
Bug#662449: ocamlsdl: Please Build-Depends on libpng-dev, change from libpng12-dev
Bug#662738: frama-c: segfault when running frama-c-gui
Bug#662738: marked as done (frama-c: segfault when running frama-c-gui)
Bug#662746: mingw32-ocaml: fails to upgrade from squeeze
Bug#662921: libxmlm-ocaml-dev: wrong output with custom functions
Bug#663172: marked as done (ocaml-gnuplot: ocamlopt: Command not found)
Bug#663172: ocaml-gnuplot: ocamlopt: Command not found
Bug#663179: Homepage dead, abandoned upstream?
Bug#663179: marked as done (Homepage dead, abandoned upstream?)
Bug#663180: Patch fix
Bug#663180: Provides no zero value
Bug#663500: Do not include .pc subdirs during build
Bug#663520: Support for incremental updates, bigarrays and multithreading
Bug#663520: Update: Support for incremental updates, bigarrays and multithreading
Bug#663666: FTBFS with camlp5 6.05
Bug#663754: ITP: hol-light -- HOL Light theorem prover
Bug#663905: libextlib-ocaml-dev: (@) operator will not be loaded correctly, if using module ExtLib, link to bugreport/fix attached
Bug#664200: cppo: please change to arch:any
Bug#664860: apt-cudf: unowned directory after purge: /usr/lib/apt/solvers
Bug#664860: marked as done (apt-cudf: unowned directory after purge: /usr/lib/apt/solvers)
Bug#665378: dose-distcheck: dose-debcheck --explain returns incorrect version numbers
Bug#665447: Please install coinst_converter and jsviewer.js
Bug#666257: Compile command for test program
Bug#666257: libderiving-ocaml: Programs using libderiving fail to link (archive missing in META)
Bug#666257: libderiving-ocsigen-ocaml works
Bug#666281: marked as done (unison2.32.52: upcoming rsvg removal)
Bug#666281: unison2.32.52: FTBFS: make: rsvg: Command not found
Bug#666281: upcoming rsvg removal, switch to rsvg-convert
Bug#666312: marked as done (unison: upcoming rsvg removal)
Bug#666312: unison: FTBFS: make: rsvg: Command not found
Bug#666312: upcoming rsvg removal, switch to rsvg-convert
Bug#666314: marked as done (unison2.27.57: upcoming rsvg removal)
Bug#666314: unison2.27.57: FTBFS: make: rsvg: Command not found
Bug#666314: unison2.27.57: upcoming rsvg removal
Bug#666377: cameleon: FTBFS: debian/xml-man/en/tdl.byte.1: No such file or directory at /usr/bin/dh_installman line 127.
Bug#666381: camlidl: FTBFS: debian/xml-man/en/camlidl.1: No such file or directory at /usr/bin/dh_installman line 127.
Bug#666572: bibtex2html: FTBFS: I couldn't open file name `/tmp/bib2htmldb4a1e.blg'
Bug#666594: matita: FTBFS: Error: Unbound constructor Stdpp.Exc_located
camlp5_6.04-1_amd64.changes ACCEPTED into unstable
camlp5_6.05-1_amd64.changes ACCEPTED into unstable
cduce 0.5.5-1 MIGRATED to testing
cduce_0.5.5-1_amd64.changes ACCEPTED into unstable
coccinelle 1.0.0~rc10.deb-1 MIGRATED to testing
coccinelle_1.0.0~rc11.deb-1_amd64.changes ACCEPTED into unstable
coq 8.3.pl3+dfsg-2 MIGRATED to testing
coq-float_8.3pl1-2_amd64.changes ACCEPTED into unstable
coq-float_8.3pl1-3_amd64.changes ACCEPTED into unstable
coq_8.3.pl3+dfsg-2_amd64.changes ACCEPTED into unstable
coq_8.3.pl4+dfsg-1_amd64.changes ACCEPTED into unstable
coq_8.3.pl4+dfsg-1_armel.changes REJECTED
coq_8.3.pl4+dfsg-1_armhf.changes REJECTED
coq_8.3.pl4+dfsg-1_mipsel.changes REJECTED
coq_8.3.pl4+dfsg-1_sparc.changes REJECTED
dh_ocaml rules [was Re: Bug#663754: ITP: hol-light ...]
dose3_2.9.14-1_amd64.changes ACCEPTED into unstable
dose3_2.9.14-2_amd64.changes ACCEPTED into unstable
dose3_2.9.14-3_amd64.changes ACCEPTED into unstable
eliom_2.1.0-1_amd64.changes ACCEPTED into experimental
eliom_2.1.0-1_amd64.changes is NEW
file: strange output on ocaml bytecode
gd4o_1.0~alpha5-5_amd64.changes ACCEPTED into unstable
js-of-ocaml_1.1-1_amd64.changes ACCEPTED into unstable
js-of-ocaml_1.1.1-1_amd64.changes ACCEPTED into unstable
ledit_2.03-1_amd64.changes ACCEPTED into unstable
libaio-ocaml_1.0-1_amd64.changes ACCEPTED into experimental
libaio-ocaml_1.0-1_amd64.changes is NEW
libaio-ocaml_1.0.1-1_amd64.changes ACCEPTED into experimental
meta-unison_2.40+1_amd64.changes ACCEPTED into unstable
meta-unison_2.40+1_amd64.changes is NEW
New information about FDIC insurance coverage for transaction accounts #06751068
ocaml-gnuplot_0.8.3-3_amd64.changes ACCEPTED into unstable
ocaml-zarith_1.0-6_amd64.changes ACCEPTED into unstable
ocamlmakefile_6.36.0-1_amd64.changes ACCEPTED into unstable
ocamlsdl_0.8.0-4_amd64.changes ACCEPTED into unstable
ocsigenserver_2.0.4-1_amd64.changes ACCEPTED into unstable
otags parse errors in /usr/lib/ocaml
ounit 1.1.1-1 MIGRATED to testing
ounit_1.1.1-1_amd64.changes ACCEPTED into unstable
package HOL Light?
postgresql-ocaml_1.18.0-1_amd64.changes ACCEPTED into unstable
Processed: block 666281 with 666276
Processed: block 666312 with 666276
Processed: block 666314 with 666276
Processed: bug 665378 is forwarded to http://gforge.info.ucl.ac.be/tracker/index.php?func=detail&aid=360&group_id=35&atid=283
Processed: closing 520265
Processed: fixed 452820 in 3.11.2-2
Processed: fixed 520265 in 1.7-1
Processed: limit source to camlimages, tagging 662281
Processed: Re: Bug#467563: camlp5 strict mode?
Processed: Re: Bug#662921: libxmlm-ocaml-dev: wrong output with custom functions
Processed: Re: Bug#663520: Support for incremental updates, bigarrays and multithreading
Processed: severity of 663172 is important
Processed: severity of 665447 is wishlist
Processed: tagging 663172
Processed: tagging 664860
Processed: tagging 665378
Processed: tagging 666257
Processed: tagging 666381
Processed: unison2.27.57: upcoming rsvg removal
Processed: upcoming rsvg removal, switch to rsvg-convert
Processing of aac-tactics_0.2.pl2-5_amd64.changes
Processing of camlp5_6.04-1_amd64.changes
Processing of camlp5_6.05-1_amd64.changes
Processing of cduce_0.5.5-1_amd64.changes
Processing of coccinelle_1.0.0~rc11.deb-1_amd64.changes
Processing of coq-float_8.3pl1-2_amd64.changes
Processing of coq-float_8.3pl1-3_amd64.changes
Processing of coq_8.3.pl3+dfsg-2_amd64.changes
Processing of coq_8.3.pl4+dfsg-1_amd64.changes
Processing of dose3_2.9.14-1_amd64.changes
Processing of dose3_2.9.14-2_amd64.changes
Processing of dose3_2.9.14-3_amd64.changes
Processing of eliom_2.1.0-1_amd64.changes
Processing of gd4o_1.0~alpha5-5_amd64.changes
Processing of js-of-ocaml_1.1-1_amd64.changes
Processing of js-of-ocaml_1.1.1-1_amd64.changes
Processing of ledit_2.03-1_amd64.changes
Processing of libaio-ocaml_1.0-1_amd64.changes
Processing of libaio-ocaml_1.0.1-1_amd64.changes
Processing of meta-unison_2.40+1_amd64.changes
Processing of ocaml-gnuplot_0.8.3-3_amd64.changes
Processing of ocaml-zarith_1.0-6_amd64.changes
Processing of ocamlmakefile_6.36.0-1_amd64.changes
Processing of ocamlsdl_0.8.0-4_amd64.changes
Processing of ocsigenserver_2.0.4-1_amd64.changes
Processing of ounit_1.1.1-1_amd64.changes
Processing of postgresql-ocaml_1.18.0-1_amd64.changes
Processing of ssreflect_1.3pl2-3_amd64.changes
Processing of ulex0.8_0.8-10_amd64.changes
Processing of unison2.27.57_2.27.57-7_amd64.changes
Processing of unison2.32.52_2.32.52-6_amd64.changes
Processing of unison_2.40.63-3_amd64.changes
RFS: libaio-ocaml/1.0~rc1
ssreflect override disparity
ssreflect_1.3pl2-3_amd64.changes ACCEPTED into unstable
ulex0.8_0.8-10_amd64.changes ACCEPTED into unstable
unison2.27.57_2.27.57-7_amd64.changes ACCEPTED into unstable
unison2.32.52_2.32.52-6_amd64.changes ACCEPTED into unstable
unison_2.40.63-3_amd64.changes ACCEPTED into unstable
which sexplib, type-conv and bin_prot
Your LinkedIn Corporation Fraud Activity #30675115
The last update was on 10:20 GMT Sat Jun 01. There are 215 messages. Page 1 of 1.
[Thread Index]
[Subject Index]
[Author Index]
[Other Debian Lists]
[Debian Home]
Mail converted by MHonArc
