| 
Debian
 » 
debian-ocaml-maint
Parent Categories/Forums: Debian
Edit this Forum

debian-ocaml-maint

Search:
This forum is an archive for the mailing list: debian-ocaml-maint@lists.debian.org (mailing list options). Messages posted here will be sent to this mailing list.

Packaging of Objective Caml programs and libraries. (http://pauillac.inria.fr/caml/)
Child Forums (0): None
To migrate this forum to the new Nabble2 system, please post a request in the Nabble Support forum — Learn more
Post to debian-ocaml-maint Post New Message  ::  Alert me of new posts  ::  Rating Filter:
« Newest  ‹ Newer  —  Threads 36-70  —  Older ›

Thread (5902 Threads) Rating Replies Last Message

Bug#559865: Removed package(s) from unstable by Debian Archive Maint...
0
by Debian Archive Maint...

ocaml-batteries 0.20090405+beta1-5 MIGRATED to testing by Debian testing watch...
0
by Debian testing watch...

New policy for Debian package inclusion in next LTS: from testing and not unstable by David MENTRE-2
0
by David MENTRE-2

Same META in different Debian packages. by Guillaume Yziquel-4
1
by Stefano Zacchiroli

Bug#520077: , Silius, Italicus, Dionysius Halicarnassus, and Livy, all m by Becks Grohmann
0
by Becks Grohmann

Bug#559261: matita-standard-library and matita: error when trying to install together by Ralf Treinen
1
by Debian Bug Tracking ...

Processing of matita_0.5.8-2_amd64.changes by Archive Administrato...
0
by Archive Administrato...

Processing of matita_0.5.8-2_amd64.changes by Archive Administrato...
0
by Archive Administrato...

Bug#553711: Removed package(s) from unstable by Debian Archive Maint...
0
by Debian Archive Maint...

Bug#425465: Examples are difficult to build by Russell Sears
1
by Debian Bug Tracking ...

Bug#553711: RM: ocaml-syck -- RoQA; NPOASR, depends on syck which is to be removed by Barry deFreese-2
1
by Debian Bug Tracking ...

Processing of bibtex2html_1.94-3_amd64.changes by Archive Administrato...
0
by Archive Administrato...

Processing of bibtex2html_1.94-3_amd64.changes by Archive Administrato...
0
by Archive Administrato...

Processing of lablgl_1.04-4_amd64.changes by Archive Administrato...
0
by Archive Administrato...

Processing of lablgl_1.04-4_amd64.changes by Archive Administrato...
0
by Archive Administrato...

Bug#559330: libocamlgraph-ocaml-dev: Package does not include HTML API documentation by Alexander Ulrich-3
1
by Mehdi Dogguy-3

Bug#557458: Typo in package description: "This packages" by Pascal De Vuyst
1
by Debian Bug Tracking ...

Accepted coq 8.2.pl1+dfsg-4 (source all amd64) by Stéphane Glondu-3
0
by Stéphane Glondu-3

Processing of coq_8.2.pl1+dfsg-4_amd64.changes by Archive Administrato...
0
by Archive Administrato...

Bug#461125: ocaml-nox: linking into a shared library fails due to R_X86_64_32 relocations by Joost Yervante Damad...
0
by Joost Yervante Damad...

Bug#559130: FTBFS: inconsistent assumptions over interface Gtk by Cyril Brulebois-4
1
by Debian Bug Tracking ...

Processed: Re: Bug#559130: FTBFS: inconsistent assumptions over interface Gtk by Debian Bug Tracking ...
0
by Debian Bug Tracking ...

Bug#541963: frama-c: depends on deprecated libgtksourceview1.0 by Josselin Mouette
1
by Debian Bug Tracking ...

frama-c override disparity by Archive Administrato...
0
by Archive Administrato...

Processing of frama-c_20090901+beryllium+dfsg-2_amd64.changes by Archive Administrato...
0
by Archive Administrato...

Processed: limit source to frama-c, tagging 541963 by Debian Bug Tracking ...
0
by Debian Bug Tracking ...

Bug#541959: matita: depends on deprecated libgtksourceview1.0 by Josselin Mouette
1
by Debian Bug Tracking ...

Bug#532289: matita fails to build in a non-networking environment. by Andrea Gasparini
16
by Debian Bug Tracking ...

Processing of matita_0.5.8-1_amd64.changes by Archive Administrato...
0
by Archive Administrato...

Bug#541958: laby: depends on deprecated libgtksourceview1.0 by Josselin Mouette
2
by Debian Bug Tracking ...

Processing of laby_0.5.5-1_amd64.changes by Archive Administrato...
0
by Archive Administrato...

Bug#559054: [unison] stable version is now 2.32.52 by Bugzilla from csight...
0
by Bugzilla from csight...

Processing of camljava_0.3-1_amd64.changes by Archive Administrato...
0
by Archive Administrato...

ANNOUNCE Xmlm 1.0.2 by Daniel Bünzli-2
11
by Stéphane Glondu

Bug#556838: cameleon: FTBFS: Error: unit XmlParser exported in cameleon but already exported by libxml-light-ocaml-dev v2.2-12 by Lucas Nussbaum
2
by Debian Bug Tracking ...
Post to debian-ocaml-maint Post New Message  ::  Alert me of new posts  ::  Atom feed for debian-ocaml-maint
« Newest  ‹ Newer  —  Threads 36-70  —  Older ›
Free embeddable forum powered by Nabble Forum Help