debian-ocaml-maint Dec 2013 by thread
[Date Index]
[Subject Index]
[Author Index]
[Other Debian Lists]
[Debian Home]
- Bug#730830: ocaml: Please add powerpcspe to the list of native architectures Roland Stigge
- Bug#730830: ocaml on powerpcspe Roland Stigge
- Re: Bug#718767: transition: ocaml 4.01.0 Mehdi Dogguy
- Bug#731047: marked as done (FTBFS with recent binutils-dev) Debian Bug Tracking System
- Processing of ocaml_4.01.0-3_amd64.changes Debian FTP Masters
- ocaml_4.01.0-3_amd64.changes ACCEPTED into unstable Debian FTP Masters
- Processing of findlib_1.4-2_amd64.changes Debian FTP Masters
- findlib_1.4-2_amd64.changes ACCEPTED into unstable Debian FTP Masters
- Processing of camlp5_6.11-2_amd64.changes Debian FTP Masters
- camlp5_6.11-2_amd64.changes ACCEPTED into unstable Debian FTP Masters
- Processing of camlzip_1.05-3_amd64.changes Debian FTP Masters
- camlzip_1.05-3_amd64.changes ACCEPTED into unstable Debian FTP Masters
- Processing of xml-light_2.2-17_amd64.changes Debian FTP Masters
- Processing of menhir_20130116.dfsg-2_amd64.changes Debian FTP Masters
- Processing of lablgl_20120306-2_amd64.changes Debian FTP Masters
- lablgl_20120306-2_amd64.changes ACCEPTED into unstable Debian FTP Masters
- menhir_20130116.dfsg-2_amd64.changes ACCEPTED into unstable Debian FTP Masters
- xml-light_2.2-17_amd64.changes ACCEPTED into unstable Debian FTP Masters
- Processing of hevea_2.09-2_amd64.changes Debian FTP Masters
- hevea_2.09-2_amd64.changes ACCEPTED into unstable Debian FTP Masters
- Processing of hlins_0.39-20_amd64.changes Debian FTP Masters
- Accepted calendar 2.03.2-3 (source all amd64) Stéphane Glondu
- hlins_0.39-20_amd64.changes ACCEPTED into unstable Debian FTP Masters
- Processing of calendar_2.03.2-3_amd64.changes Debian FTP Masters
- Processing of camlmix_1.3.1-3_amd64.changes Debian FTP Masters
- Processing of cppo_0.9.3-3_amd64.changes Debian FTP Masters
- Processing of cryptokit_1.9-2_amd64.changes Debian FTP Masters
- Processing of cryptgps_0.2.1-9_amd64.changes Debian FTP Masters
- calendar_2.03.2-3_amd64.changes ACCEPTED into unstable Debian FTP Masters
- camlmix_1.3.1-3_amd64.changes ACCEPTED into unstable Debian FTP Masters
- cppo_0.9.3-3_amd64.changes ACCEPTED into unstable Debian FTP Masters
- cryptgps_0.2.1-9_amd64.changes ACCEPTED into unstable Debian FTP Masters
- cryptokit_1.9-2_amd64.changes ACCEPTED into unstable Debian FTP Masters
- Processing of extlib_1.5.4-2_amd64.changes Debian FTP Masters
- Processing of ocamlify_0.0.2-2_amd64.changes Debian FTP Masters
- Processing of ocaml-bitstring_2.0.4-2_amd64.changes Debian FTP Masters
- Processing of ocaml-config-file_1.1-4_amd64.changes Debian FTP Masters
- Processing of ocaml-res_4.0.3-3_amd64.changes Debian FTP Masters
- extlib_1.5.4-2_amd64.changes ACCEPTED into unstable Debian FTP Masters
- ocaml-bitstring_2.0.4-2_amd64.changes ACCEPTED into unstable Debian FTP Masters
- ocaml-config-file_1.1-4_amd64.changes ACCEPTED into unstable Debian FTP Masters
- ocaml-res_4.0.3-3_amd64.changes ACCEPTED into unstable Debian FTP Masters
- ocamlify_0.0.2-2_amd64.changes ACCEPTED into unstable Debian FTP Masters
- Processing of lablgtk2_2.16.0+dfsg-1_amd64.changes Debian FTP Masters
- Processing of ocamlsdl_0.9.1-2_amd64.changes Debian FTP Masters
- Processing of ocaml-sqlite3_2.0.4-4_amd64.changes Debian FTP Masters
- Processing of ocaml-ssl_0.4.6-3_amd64.changes Debian FTP Masters
- Processing of hevea-doc_2.09-1_amd64.changes Debian FTP Masters
- Processing of pcre-ocaml_7.0.2-4_amd64.changes Debian FTP Masters
- Processing of react_0.9.4-3_amd64.changes Debian FTP Masters
- Processing of postgresql-ocaml_2.0.4-3_amd64.changes Debian FTP Masters
- hevea-doc_2.09-1_amd64.changes ACCEPTED into unstable Debian FTP Masters
- lablgtk2_2.16.0+dfsg-1_amd64.changes ACCEPTED into unstable Debian FTP Masters
- ocaml-sqlite3_2.0.4-4_amd64.changes ACCEPTED into unstable Debian FTP Masters
- ocaml-ssl_0.4.6-3_amd64.changes ACCEPTED into unstable Debian FTP Masters
- ocamlsdl_0.9.1-2_amd64.changes ACCEPTED into unstable Debian FTP Masters
- pcre-ocaml_7.0.2-4_amd64.changes ACCEPTED into unstable Debian FTP Masters
- postgresql-ocaml_2.0.4-3_amd64.changes ACCEPTED into unstable Debian FTP Masters
- react_0.9.4-3_amd64.changes ACCEPTED into unstable Debian FTP Masters
- Processing of ounit_1.1.2-3_amd64.changes Debian FTP Masters
- Processing of xmlm_1.1.1-3_amd64.changes Debian FTP Masters
- Bug#731218: facile: FTBFS with ocaml 4.01.0 Stéphane Glondu
- ounit_1.1.2-3_amd64.changes ACCEPTED into unstable Debian FTP Masters
- xmlm_1.1.1-3_amd64.changes ACCEPTED into unstable Debian FTP Masters
- ocaml transition Ralf Treinen
- Processing of cmigrep_1.5-11_amd64.changes Debian FTP Masters
- cmigrep_1.5-11_amd64.changes ACCEPTED into unstable Debian FTP Masters
- Bug#726933: marked as done (libcairo-ocaml-dev: Typo in package description: "folowing") Debian Bug Tracking System
- Processing of cairo-ocaml_1.2.0-5_amd64.changes Debian FTP Masters
- Processing of camomile_0.8.4-4_amd64.changes Debian FTP Masters
- Processing of type-conv_109.28.00-2_amd64.changes Debian FTP Masters
- Processing of mikmatch_1.0.6-3_amd64.changes Debian FTP Masters
- cairo-ocaml_1.2.0-5_amd64.changes ACCEPTED into unstable Debian FTP Masters
- camomile_0.8.4-4_amd64.changes ACCEPTED into unstable Debian FTP Masters
- mikmatch_1.0.6-3_amd64.changes ACCEPTED into unstable Debian FTP Masters
- type-conv_109.28.00-2_amd64.changes ACCEPTED into unstable Debian FTP Masters
- Processing of coq_8.4pl2dfsg-4_amd64.changes Debian FTP Masters
- Processing of tophide_1.0.1-2_amd64.changes Debian FTP Masters
- Processing of headache_1.03-24_amd64.changes Debian FTP Masters
- Processing of ocaml-fileutils_0.4.5-4_amd64.changes Debian FTP Masters
- Processing of ocaml-text_0.6-3_amd64.changes Debian FTP Masters
- Processing of ocamlwc_0.3-11_amd64.changes Debian FTP Masters
- Processing of ocamlnet_3.7.3-3_amd64.changes Debian FTP Masters
- Processing of ocamlweb_1.38-2_amd64.changes Debian FTP Masters
- Accepted coq 8.4pl2dfsg-4 (source amd64 all) Stéphane Glondu
- Bug#731273: FTBFS with ocaml 4.01.0 Ralf Treinen
- Processing of polygen_1.0.6.ds2-13_amd64.changes Debian FTP Masters
- coq_8.4pl2dfsg-4_amd64.changes ACCEPTED into unstable Debian FTP Masters
- headache_1.03-24_amd64.changes ACCEPTED into unstable Debian FTP Masters
- Processing of sexplib310_109.20.00-2_amd64.changes Debian FTP Masters
- ocaml-fileutils_0.4.5-4_amd64.changes ACCEPTED into unstable Debian FTP Masters
- ocaml-text_0.6-3_amd64.changes ACCEPTED into unstable Debian FTP Masters
- ocamlnet_3.7.3-3_amd64.changes ACCEPTED into unstable Debian FTP Masters
- ocamlwc_0.3-11_amd64.changes ACCEPTED into unstable Debian FTP Masters
- ocamlweb_1.38-2_amd64.changes ACCEPTED into unstable Debian FTP Masters
- polygen_1.0.6.ds2-13_amd64.changes ACCEPTED into unstable Debian FTP Masters
- tophide_1.0.1-2_amd64.changes ACCEPTED into unstable Debian FTP Masters
- Processing of bibtex2html_1.97-5_amd64.changes Debian FTP Masters
- Processing of fieldslib_109.20.00-2_amd64.changes Debian FTP Masters
- Processing of ocaml-deriving-ocsigen_0.3c-3_amd64.changes Debian FTP Masters
- Processing of bin-prot_109.30.00-2_amd64.changes Debian FTP Masters
- bibtex2html_1.97-5_amd64.changes ACCEPTED into unstable Debian FTP Masters
- Bug#731277: dose3: FTBFS with ocaml 4.01.0 Stéphane Glondu
- bin-prot_109.30.00-2_amd64.changes ACCEPTED into unstable Debian FTP Masters
- fieldslib_109.20.00-2_amd64.changes ACCEPTED into unstable Debian FTP Masters
- ocaml-deriving-ocsigen_0.3c-3_amd64.changes ACCEPTED into unstable Debian FTP Masters
- sexplib310_109.20.00-2_amd64.changes ACCEPTED into unstable Debian FTP Masters
- Processed: tagging 731273, reassign 730751 to seqan-apps, fixed 730751 in 1.4.1-2, found 730751 in 1.4.1-1 ... Debian Bug Tracking System
- Processed: bug 731277 is forwarded to https://gforge.inria.fr/tracker/index.php?func=detail&aid=16720&group_id=4395&atid=13808 Debian Bug Tracking System
- Bug#731344: libllvm-3.3-ocaml-dev: missing ABI dependency Stéphane Glondu
- Re: CamlPDF update Stéphane Glondu
- Bug#731378: nss-passwords fails to decrypt Yann Dirson
- Processing of tyxml_2.2.0-4_amd64.changes Debian FTP Masters
- tyxml_2.2.0-4_amd64.changes ACCEPTED into unstable Debian FTP Masters
- Processing of ocamlmod_0.0.4-1_amd64.changes Debian FTP Masters
- ocamlmod_0.0.4-1_amd64.changes ACCEPTED into unstable Debian FTP Masters
- Bug#731398: galax: FTBFS with ocaml 4.01.0 Stéphane Glondu
- Bug#731399: jocaml: needs update for ocaml 4.01.0 Stéphane Glondu
- Bug#731400: ocamlduce: needs update for ocaml 4.01.0 Stéphane Glondu
- Bug#731401: otags: needs update for ocaml 4.01.0 Stéphane Glondu
- Processing of ocaml-batteries_2.1-3_amd64.changes Debian FTP Masters
- ocaml-batteries_2.1-3_amd64.changes ACCEPTED into unstable Debian FTP Masters
- Bug#731404: ocaml-data-notation: FTBFS with ocaml 4.01.0 Stéphane Glondu
- Bug#731405: ocamldap: FTBFS with ocaml 4.01.0 Stéphane Glondu
- Processing of coccinelle_1.0.0~rc19.deb-1_amd64.changes Debian FTP Masters
- coccinelle_1.0.0~rc19.deb-1_amd64.changes ACCEPTED into unstable Debian FTP Masters
- Bug#672479: marked as done (ledit: 'man ledit' typos: "backard", "france" and "searchs") Debian Bug Tracking System
- Processing of ledit_2.03-2_amd64.changes Debian FTP Masters
- ledit_2.03-2_amd64.changes ACCEPTED into unstable Debian FTP Masters
- Processing of lwt_2.4.3-4_amd64.changes Debian FTP Masters
- Processing of mlpost_0.8.1-5_amd64.changes Debian FTP Masters
- Processing of xstrp4_1.8-4_amd64.changes Debian FTP Masters
- lwt_2.4.3-4_amd64.changes ACCEPTED into unstable Debian FTP Masters
- mlpost_0.8.1-5_amd64.changes ACCEPTED into unstable Debian FTP Masters
- Processing of ocaml-tools_20120103-3_amd64.changes Debian FTP Masters
- xstrp4_1.8-4_amd64.changes ACCEPTED into unstable Debian FTP Masters
- Processing of ssreflect_1.5~rc1-2_amd64.changes Debian FTP Masters
- Processing of aac-tactics_0.4-1_amd64.changes Debian FTP Masters
- aac-tactics_0.4-1_amd64.changes ACCEPTED into unstable Debian FTP Masters
- ocaml-tools_20120103-3_amd64.changes ACCEPTED into unstable Debian FTP Masters
- ssreflect_1.5~rc1-2_amd64.changes ACCEPTED into unstable Debian FTP Masters
- Bug#731528: dose2: FTBFS with ocaml 4.01.0 Stéphane Glondu
- Processed: tagging 731277 Debian Bug Tracking System
- Bug#724168: ocsigenserver: FTBFS: make[1]: *** No rule to make target `Makefile.config'. Stop. Roland Stigge
- ocamlnet with Str vs Pcre Eric Cooper
- Processing of planets_0.1.13-14_amd64.changes Debian FTP Masters
- Processing of facile_1.1-9_amd64.changes Debian FTP Masters
- Bug#731587: RM: obrowser -- ROM; obsolete Stéphane Glondu
- Processing of ocsigenserver_2.2.0-3_amd64.changes Debian FTP Masters
- Processing of obus_1.1.5-3_amd64.changes Debian FTP Masters
- Bug#713365: marked as done (obus: FTBFS: E: Cannot find findlib package type-conv) Debian Bug Tracking System
- Bug#724168: marked as done (ocsigenserver: FTBFS: make[1]: *** No rule to make target `Makefile.config'. Stop.) Debian Bug Tracking System
- facile_1.1-9_amd64.changes ACCEPTED into unstable Debian FTP Masters
- obus_1.1.5-3_amd64.changes ACCEPTED into unstable Debian FTP Masters
- ocsigenserver_2.2.0-3_amd64.changes ACCEPTED into unstable Debian FTP Masters
- planets_0.1.13-14_amd64.changes ACCEPTED into unstable Debian FTP Masters
- Processing of ocaml-inifiles_1.2-3_amd64.changes Debian FTP Masters
- Processing of coq-float_8.4-2_amd64.changes Debian FTP Masters
- coq-float_8.4-2_amd64.changes ACCEPTED into unstable Debian FTP Masters
- ocaml-inifiles_1.2-3_amd64.changes ACCEPTED into unstable Debian FTP Masters
- Processing of js-of-ocaml_1.3.2-4_amd64.changes Debian FTP Masters
- js-of-ocaml_1.3.2-4_amd64.changes ACCEPTED into unstable Debian FTP Masters
- Processing of dose3_3.1.3-6_amd64.changes Debian FTP Masters
- dose3_3.1.3-6_amd64.changes ACCEPTED into unstable Debian FTP Masters
- Processing of ocaml-expect_0.0.3-1_amd64.changes Debian FTP Masters
- ocaml-expect_0.0.3-1_amd64.changes ACCEPTED into unstable Debian FTP Masters
- Processing of ocaml-data-notation_0.0.11-1_amd64.changes Debian FTP Masters
- ocaml-data-notation_0.0.11-1_amd64.changes ACCEPTED into unstable Debian FTP Masters
- Processing of ocamldap_2.1.8-9_amd64.changes Debian FTP Masters
- ocamldap_2.1.8-9_amd64.changes ACCEPTED into unstable Debian FTP Masters
- Bug#731598: ITP: camldbm -- binding to the NDBM/GDBM Unix databases Stéphane Glondu
- Processing of camldbm_1.0-1_amd64.changes Debian FTP Masters
- camldbm_1.0-1_amd64.changes is NEW Debian FTP Masters
- Bug#731636: oasis: FTBFS with ocaml 4.01.0 Stéphane Glondu
- Bug#731637: frama-c: FTBFS with ocaml 4.01.0 Stéphane Glondu
- camldbm_1.0-1_amd64.changes ACCEPTED into unstable, unstable Debian FTP Masters
- Processing of camldbm_1.0-2_amd64.changes Debian FTP Masters
- Processing of eliom_3.0.3-4_amd64.changes Debian FTP Masters
- camldbm_1.0-2_amd64.changes ACCEPTED into unstable Debian FTP Masters
- eliom_3.0.3-4_amd64.changes ACCEPTED into unstable Debian FTP Masters
- Processing of dose2_1.4.2-6_amd64.changes Debian FTP Masters
- dose2_1.4.2-6_amd64.changes REJECTED Debian FTP Masters
- Processing of oasis_0.3.0-4_amd64.changes Debian FTP Masters
- oasis_0.3.0-4_amd64.changes ACCEPTED into unstable Debian FTP Masters
- Re: Log for attempted build of ocaml_4.01.0-3 on m68k (dist=unstable) Stéphane Glondu
- Bug#731637: compatibility patch with 4.01beta for Frama-C Fluorine Pascal Cuoq
- dose2_1.4.2-6_amd64.changes ACCEPTED into unstable Debian FTP Masters
- Processing of frama-c_20130601+fluorine3+dfsg-2_amd64.changes Debian FTP Masters
- frama-c_20130601+fluorine3+dfsg-2_amd64.changes ACCEPTED into unstable Debian FTP Masters
- Bug#731685: ocaml-sqlexpr: FTBFS with ocaml 4.01.0 Stéphane Glondu
- Processing of mysql-ocaml_1.1.2-3_amd64.changes Debian FTP Masters
- mysql-ocaml_1.1.2-3_amd64.changes ACCEPTED into unstable Debian FTP Masters
- Bug#731701: opam: FTBFS with ocaml 4.01.0 Stéphane Glondu
- Bug#731702: matita: FTBFS with ocaml 4.01.0 Stéphane Glondu
- Bug#731704: ocaml-reins: FTBFS with ocaml 4.01.0 Stéphane Glondu
- Bug#731704: patch ygrek
- Bug#731732: ocamlrss: FTBFS on bytecode architectures Stéphane Glondu
- Processing of dose3_3.1.3-7_amd64.changes Debian FTP Masters
- dose3_3.1.3-7_amd64.changes ACCEPTED into unstable Debian FTP Masters
- Bug#718137: marked as done (lablgtk-extras: FTBFS: make[2]: ./config.status: Command not found) Debian Bug Tracking System
- Processing of lablgtk-extras_1.4-2_amd64.changes Debian FTP Masters
- lablgtk-extras_1.4-2_amd64.changes ACCEPTED into unstable Debian FTP Masters
- failed powerpc build of cduce 0.5.5-1+b2 Debian buildds
- failed ia64 build of cduce 0.5.5-1+b2 Debian buildds
- failed s390x build of cduce 0.5.5-1+b2 Debian buildds
- failed amd64 build of cduce 0.5.5-1+b2 Debian buildds
- failed i386 build of cduce 0.5.5-1+b2 Debian buildds
- failed armel build of cduce 0.5.5-1+b2 Debian buildds
- Re: sks: FTBFS with ocaml 4.01.0 Stéphane Glondu
- Bug#731817: janest-core: FTBFS with ocaml 4.01.0 Stéphane Glondu
- Bug#731818: cduce: FTBFS with ocaml 4.01.0 Stéphane Glondu
- failed mipsel build of cduce 0.5.5-1+b2 Debian buildds
- failed sparc build of cduce 0.5.5-1+b2 Debian buildds
- failed armhf build of cduce 0.5.5-1+b2 Debian buildds
- failed kfreebsd-amd64 build of cduce 0.5.5-1+b2 Debian buildds
- failed mips build of cduce 0.5.5-1+b2 Debian buildds
- failed kfreebsd-i386 build of cduce 0.5.5-1+b2 Debian buildds
- Bug#731822: cameleon: FTBFS with ocaml 4.01.0 Stéphane Glondu
- Processing of matita_0.99.1-3_amd64.changes Debian FTP Masters
- matita_0.99.1-3_amd64.changes ACCEPTED into unstable Debian FTP Masters
- Bug#731587: Removed package(s) from unstable Debian FTP Masters
- Re: Bug#718767: transition: ocaml 4.00.1 Mehdi Dogguy
- Accepted approx 5.4-1 (source amd64) Eric Cooper
- cduce REMOVED from testing Debian testing watch
- coq 8.4pl2dfsg-4 MIGRATED to testing Debian testing watch
- Accepted approx 5.4-2 (source amd64) Eric Cooper
- Processing of ocaml-doc_4.01-1_amd64.changes Debian FTP Masters
- Bug#464873: marked as done (ocaml-doc: please include ocamlbuild user manual) Debian Bug Tracking System
- Bug#528887: marked as done (please add info-dir-section to your info files) Debian Bug Tracking System
- ocaml-doc_4.01-1_amd64.changes ACCEPTED into unstable Debian FTP Masters
- Bug#724215: marked as done (eliom: FTBFS: make[1]: *** No rule to make target `Makefile.config'. Stop.) Debian Bug Tracking System
- Processing of coq-doc_8.4pl2-1_amd64.changes Debian FTP Masters
- coq-doc_8.4pl2-1_amd64.changes ACCEPTED into unstable Debian FTP Masters
- RFS: ocamlrss/2.2.1-2 [Fix-FTBFS] Prach Pongpanich
- Processing of ocamlrss_2.2.1-2_amd64.changes Debian FTP Masters
- ocamlrss_2.2.1-2_amd64.changes ACCEPTED into unstable Debian FTP Masters
- Fwd: Bug#732386: RM: liblo [sparc] -- ANAIS; Does not work, never has Felipe Sateler
- Processing of lablgl_1.05-1_amd64.changes Debian FTP Masters
- lablgl_1.05-1_amd64.changes ACCEPTED into unstable Debian FTP Masters
- Processing of ocamlrss_2.2.1-3_amd64.changes Debian FTP Masters
- ocamlrss_2.2.1-3_amd64.changes ACCEPTED into unstable Debian FTP Masters
- Bug#732833: ben: Please sort transitions Niels Thykier
- Bug#732836: ben: tracker could do with a performance enhancement Stéphane Glondu
- Processing of coccinelle_1.0.0~rc19.deb-2_amd64.changes Debian FTP Masters
- coccinelle_1.0.0~rc19.deb-2_amd64.changes ACCEPTED into unstable Debian FTP Masters
- Bug#732951: ocaml's testsuite tries to connect to the net Matthias Klose
- Processed: limit source to ben, tagging 728708, tagging 729090, tagging 732833 Debian Bug Tracking System
- Processed: limit source to ben, tagging 729090, tagging 732833 Debian Bug Tracking System
- Processed: tagging 732833, tagging 729090, tagging 728708 Debian Bug Tracking System
- Bug#707347: add patch Matthias Klose
- Bug#707347: marked as done (apron: FTBFS: ppl.hh:775:7: error: redefinition of 'class std::numeric_limits<__gmp_expr<__mpz_struct [1], __mpz_struct [1]> >') Debian Bug Tracking System
- Processing of apron_0.9.10-6_amd64.changes Debian FTP Masters
- apron_0.9.10-6_amd64.changes ACCEPTED into unstable Debian FTP Masters
- Bug#733101: RFA: apron -- abstract interpretation library Stéphane Glondu
- Processing of coccinelle_1.0.0~rc19.deb-3_amd64.changes Debian FTP Masters
- coccinelle_1.0.0~rc19.deb-3_amd64.changes ACCEPTED into unstable Debian FTP Masters
- Processing of js-of-ocaml_1.4-1_amd64.changes Debian FTP Masters
- js-of-ocaml_1.4-1_amd64.changes ACCEPTED into unstable Debian FTP Masters
- Bug#733494: OptParse exception during [dist-]upgrade Wolodja Wentland
- Bug#713212: marked as done (ocaml-deriving-ocsigen: FTBFS: cp: cannot stat 'debian/tmp//usr/lib/ocaml/deriving-ocsigen/pa_deriving_tc.cma': No such file or directory) Debian Bug Tracking System
The last update was on 18:33 GMT Sun Jun 23. There are 337 messages. Page 1 of 1.
[Date Index]
[Subject Index]
[Author Index]
[Other Debian Lists]
[Debian Home]
Mail converted by MHonArc