debian-ocaml-maint Mar 2012 by author

[previous page]

Page 1 of 1

[next page]

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

Stéphane Glondu

Re: package HOL Light? Mar 07
Re: Bug#663754: ITP: hol-light -- HOL Light theorem prover Mar 20
Re: Bug#663754: ITP: hol-light -- HOL Light theorem prover Mar 26
Re: Bug#663754: ITP: hol-light -- HOL Light theorem prover Mar 16
Re: dh_ocaml rules [was Re: Bug#663754: ITP: hol-light ...] Mar 22

Stéphane Glondu

Re: Bug#663754: ITP: hol-light -- HOL Light theorem prover Mar 18
Re: RFS: libaio-ocaml/1.0~rc1 Mar 06
Re: otags parse errors in /usr/lib/ocaml Mar 07

Rémi Vanicat

Bug#663905: libextlib-ocaml-dev: (@) operator will not be loaded correctly, if using module ExtLib, link to bugreport/fix attached Mar 15

Stéphane Glondu

Bug#467563: camlp5 strict mode? Mar 01
Bug#662921: libxmlm-ocaml-dev: wrong output with custom functions Mar 07
Bug#662746: mingw32-ocaml: fails to upgrade from squeeze Mar 06
Bug#467563: camlp5 strict mode? Mar 03
Bug#662738: frama-c: segfault when running frama-c-gui Mar 06
Bug#661775: FTBFS with ocamlnet 3.5.1 Mar 01
Bug#663666: FTBFS with camlp5 6.05 Mar 13
Bug#662281: camlimages: Please Build-Depends on libpng-dev, change from libpng12-dev Mar 05

Stéphane Glondu

Accepted cduce 0.5.5-1 (source amd64) Mar 03
Accepted coq 8.3.pl3+dfsg-2 (source all amd64) Mar 04
Accepted coq 8.3.pl4+dfsg-1 (source all amd64) Mar 27
Accepted approx 5.1-1.1 (source amd64) Mar 07

Andreas Beckmann

Bug#662746: mingw32-ocaml: fails to upgrade from squeeze Mar 06
Bug#664860: apt-cudf: unowned directory after purge: /usr/lib/apt/solvers Mar 21
Bug#665378: dose-distcheck: dose-debcheck --explain returns incorrect version numbers Mar 23

Andreas Romeyke

Bug#663905: libextlib-ocaml-dev: (@) operator will not be loaded correctly, if using module ExtLib, link to bugreport/fix attached Mar 14

bts-link-upstream

[bts-link] source package dose3 Mar 30
[bts-link] source package ocaml Mar 01
[bts-link] source package ocaml Mar 12
[bts-link] source package src:ocaml-sha Mar 22
[bts-link] source package ocaml Mar 08

Cynthia Rodriguez

New information about FDIC insurance coverage for transaction accounts #06751068 Mar 14

Daniel Bünzli

Bug#662921: libxmlm-ocaml-dev: wrong output with custom functions Mar 10
Bug#662921: libxmlm-ocaml-dev: wrong output with custom functions Mar 07

David Brown

Bug#666257: Compile command for test program Mar 30
Bug#666257: libderiving-ocsigen-ocaml works Mar 30
Bug#666257: libderiving-ocaml: Programs using libderiving fail to link (archive missing in META) Mar 30

David MENTRE

Bug#663180: Provides no zero value Mar 10
Re: Bug#663754: ITP: hol-light -- HOL Light theorem prover Mar 22
Bug#663180: Provides no zero value Mar 11
Bug#663180: Provides no zero value Mar 09

Debian Bug Tracking System

Bug#662342: marked as done (gd4o: Please Build-Depends on libpng-dev, change from libpng12-dev) Mar 05
Processed: tagging 665378 Mar 30
Processed: block 666314 with 666276 Mar 30
Bug#662449: marked as done (ocamlsdl: Please Build-Depends on libpng-dev, change from libpng12-dev) Mar 05
Processed: tagging 663172 Mar 10
Processed: block 666312 with 666276 Mar 30
Processed: Re: Bug#662921: libxmlm-ocaml-dev: wrong output with custom functions Mar 07
Bug#664860: marked as done (apt-cudf: unowned directory after purge: /usr/lib/apt/solvers) Mar 21
Processed: closing 520265 Mar 09
Processed: block 666281 with 666276 Mar 30
Bug#659834: marked as done (apt-cudf: fails to install - Can't locate File/Basename.pm) Mar 16
Processed: tagging 665378 Mar 23
Bug#662738: marked as done (frama-c: segfault when running frama-c-gui) Mar 06
Processed: tagging 664860 Mar 21
Bug#452820: marked as done (ocaml-mode: obsolete string-to-int) Mar 07
Processed: fixed 452820 in 3.11.2-2 Mar 07
Bug#666312: marked as done (unison: upcoming rsvg removal) Mar 31
Processed: tagging 666257 Mar 30
Processed: severity of 665447 is wishlist Mar 24
Processed: Re: Bug#467563: camlp5 strict mode? Mar 03
Processed: severity of 663172 is important Mar 09
Processed: unison2.27.57: upcoming rsvg removal Mar 31
Bug#666314: marked as done (unison2.27.57: upcoming rsvg removal) Mar 31
Processed: tagging 666381 Mar 31
Bug#663179: marked as done (Homepage dead, abandoned upstream?) Mar 10
Processed: bug 665378 is forwarded to http://gforge.info.ucl.ac.be/tracker/index.php?func=detail&aid=360&group_id=35&atid=283 Mar 23
Processed: Re: Bug#663520: Support for incremental updates, bigarrays and multithreading Mar 16
Processed: fixed 520265 in 1.7-1 Mar 09
Bug#666281: marked as done (unison2.32.52: upcoming rsvg removal) Mar 31
Bug#663172: marked as done (ocaml-gnuplot: ocamlopt: Command not found) Mar 10
Processed: limit source to camlimages, tagging 662281 Mar 06
Processed: block 666312 with 666276 Mar 30
Processed: upcoming rsvg removal, switch to rsvg-convert Mar 31
Processed: upcoming rsvg removal, switch to rsvg-convert Mar 31

Debian FTP Masters

eliom_2.1.0-1_amd64.changes ACCEPTED into experimental Mar 21
Processing of libaio-ocaml_1.0.1-1_amd64.changes Mar 26
ulex0.8_0.8-10_amd64.changes ACCEPTED into unstable Mar 04
Processing of libaio-ocaml_1.0-1_amd64.changes Mar 10
ocamlmakefile_6.36.0-1_amd64.changes ACCEPTED into unstable Mar 05
dose3_2.9.14-2_amd64.changes ACCEPTED into unstable Mar 17
Processing of coq-float_8.3pl1-3_amd64.changes Mar 30
unison_2.40.63-3_amd64.changes ACCEPTED into unstable Mar 31
Processing of aac-tactics_0.2.pl2-5_amd64.changes Mar 05
Processing of meta-unison_2.40+1_amd64.changes Mar 03
Processing of ssreflect_1.3pl2-3_amd64.changes Mar 06
Processing of coq_8.3.pl4+dfsg-1_amd64.changes Mar 27
Processing of ocamlmakefile_6.36.0-1_amd64.changes Mar 05
Processing of ocamlsdl_0.8.0-4_amd64.changes Mar 05
libaio-ocaml_1.0.1-1_amd64.changes ACCEPTED into experimental Mar 26
Processing of coccinelle_1.0.0~rc11.deb-1_amd64.changes Mar 17
Processing of camlp5_6.05-1_amd64.changes Mar 26
Processing of ledit_2.03-1_amd64.changes Mar 04
Processing of dose3_2.9.14-1_amd64.changes Mar 16
coq-float_8.3pl1-2_amd64.changes ACCEPTED into unstable Mar 06
Processing of dose3_2.9.14-2_amd64.changes Mar 17
Processing of js-of-ocaml_1.1-1_amd64.changes Mar 04
coq_8.3.pl3+dfsg-2_amd64.changes ACCEPTED into unstable Mar 04
camlp5_6.04-1_amd64.changes ACCEPTED into unstable Mar 03
cduce_0.5.5-1_amd64.changes ACCEPTED into unstable Mar 03
camlp5_6.05-1_amd64.changes ACCEPTED into unstable Mar 26
Processing of dose3_2.9.14-3_amd64.changes Mar 21
Processing of ocaml-gnuplot_0.8.3-3_amd64.changes Mar 10
Processing of ocaml-zarith_1.0-6_amd64.changes Mar 24
Processing of unison2.27.57_2.27.57-7_amd64.changes Mar 31
coq_8.3.pl4+dfsg-1_mipsel.changes REJECTED Mar 27
js-of-ocaml_1.1-1_amd64.changes ACCEPTED into unstable Mar 04
meta-unison_2.40+1_amd64.changes is NEW Mar 03
ocaml-gnuplot_0.8.3-3_amd64.changes ACCEPTED into unstable Mar 10
unison2.32.52_2.32.52-6_amd64.changes ACCEPTED into unstable Mar 31
coq_8.3.pl4+dfsg-1_armel.changes REJECTED Mar 27
Processing of cduce_0.5.5-1_amd64.changes Mar 03
ssreflect_1.3pl2-3_amd64.changes ACCEPTED into unstable Mar 06
eliom_2.1.0-1_amd64.changes is NEW Mar 19
dose3_2.9.14-1_amd64.changes ACCEPTED into unstable Mar 16
libaio-ocaml_1.0-1_amd64.changes is NEW Mar 10
Processing of coq_8.3.pl3+dfsg-2_amd64.changes Mar 04
ocamlsdl_0.8.0-4_amd64.changes ACCEPTED into unstable Mar 05
Processing of coq-float_8.3pl1-2_amd64.changes Mar 06
unison2.27.57_2.27.57-7_amd64.changes ACCEPTED into unstable Mar 31
coq_8.3.pl4+dfsg-1_armhf.changes REJECTED Mar 27
meta-unison_2.40+1_amd64.changes ACCEPTED into unstable Mar 06
postgresql-ocaml_1.18.0-1_amd64.changes ACCEPTED into unstable Mar 01
ledit_2.03-1_amd64.changes ACCEPTED into unstable Mar 04
libaio-ocaml_1.0-1_amd64.changes ACCEPTED into experimental Mar 11
Processing of gd4o_1.0~alpha5-5_amd64.changes Mar 05
gd4o_1.0~alpha5-5_amd64.changes ACCEPTED into unstable Mar 05
Processing of eliom_2.1.0-1_amd64.changes Mar 19
ocsigenserver_2.0.4-1_amd64.changes ACCEPTED into unstable Mar 17
aac-tactics_0.2.pl2-5_amd64.changes ACCEPTED into unstable Mar 05
Processing of postgresql-ocaml_1.18.0-1_amd64.changes Mar 01
ounit_1.1.1-1_amd64.changes ACCEPTED into unstable Mar 01
ssreflect override disparity Mar 06
Processing of unison_2.40.63-3_amd64.changes Mar 31
Processing of ulex0.8_0.8-10_amd64.changes Mar 04
Processing of ounit_1.1.1-1_amd64.changes Mar 01
coq_8.3.pl4+dfsg-1_amd64.changes ACCEPTED into unstable Mar 27
coq-float_8.3pl1-3_amd64.changes ACCEPTED into unstable Mar 30
js-of-ocaml_1.1.1-1_amd64.changes ACCEPTED into unstable Mar 17
Processing of camlp5_6.04-1_amd64.changes Mar 03
dose3_2.9.14-3_amd64.changes ACCEPTED into unstable Mar 21
Processing of unison2.32.52_2.32.52-6_amd64.changes Mar 31
Processing of js-of-ocaml_1.1.1-1_amd64.changes Mar 17
coq_8.3.pl4+dfsg-1_sparc.changes REJECTED Mar 27
ocaml-zarith_1.0-6_amd64.changes ACCEPTED into unstable Mar 24
Processing of ocsigenserver_2.0.4-1_amd64.changes Mar 17
coccinelle_1.0.0~rc11.deb-1_amd64.changes ACCEPTED into unstable Mar 17

Debian testing watch

coccinelle 1.0.0~rc10.deb-1 MIGRATED to testing Mar 03
ounit 1.1.1-1 MIGRATED to testing Mar 12
coq 8.3.pl3+dfsg-2 MIGRATED to testing Mar 17
cduce 0.5.5-1 MIGRATED to testing Mar 17

Eric Cooper

Bug#663180: Provides no zero value Mar 10
Bug#588978: cannot reproduce with 3.11.2-2 or 3.12.1 Mar 07

Florent Monnier

which sexplib, type-conv and bin_prot Mar 23

Goswin von Brederlow

Bug#663180: Provides no zero value Mar 10
Re: RFS: libaio-ocaml/1.0~rc1 Mar 06
Bug#663500: Do not include .pc subdirs during build Mar 11
Bug#520265: #520265: Missing architecture independent binary representation Mar 09
Bug#663520: Support for incremental updates, bigarrays and multithreading Mar 16
Bug#663180: Provides no zero value Mar 10
Bug#663180: Patch fix Mar 09
Bug#663520: Update: Support for incremental updates, bigarrays and multithreading Mar 12
Bug#663180: Provides no zero value Mar 09
RFS: libaio-ocaml/1.0~rc1 Mar 05
Bug#663180: Provides no zero value Mar 11
Bug#663179: Homepage dead, abandoned upstream? Mar 09
Bug#663520: Support for incremental updates, bigarrays and multithreading Mar 11

gregor herrmann

Accepted approx 5.1-1.2 (source amd64) Mar 29

Hendrik Tews

Re: Bug#663754: ITP: hol-light -- HOL Light theorem prover Mar 16
otags parse errors in /usr/lib/ocaml Mar 07
Bug#467563: camlp5 strict mode? Mar 01
Bug#663172: ocaml-gnuplot: ocamlopt: Command not found Mar 09
Re: Bug#663754: ITP: hol-light -- HOL Light theorem prover Mar 18
Re: otags parse errors in /usr/lib/ocaml Mar 08
dh_ocaml rules [was Re: Bug#663754: ITP: hol-light ...] Mar 22
Re: Bug#663754: ITP: hol-light -- HOL Light theorem prover Mar 16
Bug#467563: camlp5 strict mode? Mar 03
Re: Bug#663754: ITP: hol-light -- HOL Light theorem prover Mar 16
Re: Bug#663754: ITP: hol-light -- HOL Light theorem prover Mar 26
package HOL Light? Mar 07
Re: Bug#663754: ITP: hol-light -- HOL Light theorem prover Mar 21
Bug#467563: camlp5 strict mode? Mar 01
Re: Bug#663754: ITP: hol-light -- HOL Light theorem prover Mar 26
Bug#467563: camlp5 strict mode? Mar 01
Re: Bug#663754: ITP: hol-light -- HOL Light theorem prover Mar 22
Re: Bug#663754: ITP: hol-light -- HOL Light theorem prover Mar 19
Re: file: strange output on ocaml bytecode Mar 19
Bug#663754: ITP: hol-light -- HOL Light theorem prover Mar 13

Julien Cristau

Bug#662281: camlimages: Please Build-Depends on libpng-dev, change from libpng12-dev Mar 05

Lucas Nussbaum

Bug#666381: camlidl: FTBFS: debian/xml-man/en/camlidl.1: No such file or directory at /usr/bin/dh_installman line 127. Mar 30
Bug#666314: unison2.27.57: FTBFS: make: rsvg: Command not found Mar 30
Bug#666572: bibtex2html: FTBFS: I couldn't open file name `/tmp/bib2htmldb4a1e.blg' Mar 31
Bug#666281: unison2.32.52: FTBFS: make: rsvg: Command not found Mar 30
Bug#666594: matita: FTBFS: Error: Unbound constructor Stdpp.Exc_located Mar 31
Bug#666312: unison: FTBFS: make: rsvg: Command not found Mar 30
Bug#666377: cameleon: FTBFS: debian/xml-man/en/tdl.byte.1: No such file or directory at /usr/bin/dh_installman line 127. Mar 30

Mehdi Dogguy

Re: file: strange output on ocaml bytecode Mar 19
Re: Bug#663754: ITP: hol-light -- HOL Light theorem prover Mar 21
Bug#662921: libxmlm-ocaml-dev: wrong output with custom functions Mar 07
Bug#665447: Please install coinst_converter and jsviewer.js Mar 24

Michael Biebl

Bug#666312: upcoming rsvg removal, switch to rsvg-convert Mar 31
Bug#666281: upcoming rsvg removal, switch to rsvg-convert Mar 31
Bug#666314: unison2.27.57: upcoming rsvg removal Mar 31

Nobuhiro Iwamatsu

Bug#663172: ocaml-gnuplot: ocamlopt: Command not found Mar 09
Bug#662342: gd4o: Please Build-Depends on libpng-dev, change from libpng12-dev Mar 05
Bug#662281: camlimages: Please Build-Depends on libpng-dev, change from libpng12-dev Mar 05
Bug#662449: ocamlsdl: Please Build-Depends on libpng-dev, change from libpng12-dev Mar 05

Ralf Treinen

Bug#666381: camlidl: FTBFS: debian/xml-man/en/camlidl.1: No such file or directory at /usr/bin/dh_installman line 127. Mar 31
file: strange output on ocaml bytecode Mar 19
Re: file: strange output on ocaml bytecode Mar 19

Raphael Geissert

Bug#662738: frama-c: segfault when running frama-c-gui Mar 06

Romain Beauxis

Bug#662746: mingw32-ocaml: fails to upgrade from squeeze Mar 14

Upendra Lanka

Your LinkedIn Corporation Fraud Activity #30675115 Mar 12

Vincent Hanquez

Bug#663520: Update: Support for incremental updates, bigarrays and multithreading Mar 14

ygrek

Bug#662921: libxmlm-ocaml-dev: wrong output with custom functions Mar 07
Bug#664200: cppo: please change to arch:any Mar 16

The last update was on 10:20 GMT Sat Jun 01. There are 215 messages. Page 1 of 1.

[previous month]

[previous page]

Page 1 of 1

[next page]

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

Mail converted by MHonArc