debian-ocaml-maint Jan 2016 by thread
[Date Index]
[Subject Index]
[Author Index]
[Other Debian Lists]
[Debian Home]
- Processing of type-conv_113.00.02-1_source.changes Debian FTP Masters
- type-conv_113.00.02-1_source.changes ACCEPTED into unstable Debian FTP Masters
- Processing of bin-prot_113.00.00-1_source.changes Debian FTP Masters
- bin-prot_113.00.00-1_source.changes ACCEPTED into unstable Debian FTP Masters
- lwt is marked for autoremoval from testing Debian testing autoremoval watch
- obus is marked for autoremoval from testing Debian testing autoremoval watch
- unison2.40.102 is marked for autoremoval from testing Debian testing autoremoval watch
- opam is marked for autoremoval from testing Debian testing autoremoval watch
- react is marked for autoremoval from testing Debian testing autoremoval watch
- nproc is marked for autoremoval from testing Debian testing autoremoval watch
- ocaml-usb is marked for autoremoval from testing Debian testing autoremoval watch
- coinst is marked for autoremoval from testing Debian testing autoremoval watch
- dose3 is marked for autoremoval from testing Debian testing autoremoval watch
- ocsigenserver is marked for autoremoval from testing Debian testing autoremoval watch
- reactivedata is marked for autoremoval from testing Debian testing autoremoval watch
- ocaml-sqlexpr is marked for autoremoval from testing Debian testing autoremoval watch
- js-of-ocaml is marked for autoremoval from testing Debian testing autoremoval watch
- Bug#807019: tracking bin-num - broken unison due to binnmu upload Brian May
- Bug#809049: marked as done (dose3 FTBFS on mips and mipsel because of dot) Debian Bug Tracking System
- Processing of dose3_4.0.2-4_amd64.changes Debian FTP Masters
- dose3_4.0.2-4_amd64.changes ACCEPTED into unstable Debian FTP Masters
- Bug#803887: info ocaml fails Mehdi Dogguy
- Bug#803887: marked as done (info ocaml fails) Debian Bug Tracking System
- Processing of ocaml-doc_4.02-2_amd64.changes Debian FTP Masters
- ocaml-doc_4.02-2_amd64.changes ACCEPTED into unstable Debian FTP Masters
- Bug#805456: unison: works well on my testing gpe92
- Bug#805456: marked as done (unison: fails to recognize changes after upgrade of unison on both hosts) Debian Bug Tracking System
- Processed: notfound 805456 in unison/2.48.3-1 Debian Bug Tracking System
- Processing of comparelib_113.00.00-1_source.changes Debian FTP Masters
- Processing of fieldslib_113.00.00-1_source.changes Debian FTP Masters
- comparelib_113.00.00-1_source.changes ACCEPTED into unstable Debian FTP Masters
- fieldslib_113.00.00-1_source.changes ACCEPTED into unstable Debian FTP Masters
- Processing of pa-ounit_113.00.00-1_source.changes Debian FTP Masters
- Processing of pipebang_113.00.00-1_source.changes Debian FTP Masters
- pa-ounit_113.00.00-1_source.changes ACCEPTED into unstable Debian FTP Masters
- pipebang_113.00.00-1_source.changes ACCEPTED into unstable Debian FTP Masters
- Processing of sexplib310_113.00.00-1_source.changes Debian FTP Masters
- sexplib310_113.00.00-1_source.changes ACCEPTED into unstable Debian FTP Masters
- nss-passwords is marked for autoremoval from testing Debian testing autoremoval watch
- Processing of herelib_112.35.00-1_source.changes Debian FTP Masters
- Processing of pa-bench_113.00.00-1_source.changes Debian FTP Masters
- herelib_112.35.00-1_source.changes ACCEPTED into unstable Debian FTP Masters
- pa-bench_113.00.00-1_source.changes ACCEPTED into unstable Debian FTP Masters
- Processing of pa-test_112.24.00-1_source.changes Debian FTP Masters
- Processing of custom-printf_113.00.00-1_source.changes Debian FTP Masters
- Processing of pa-structural-sexp_113.00.00-1_source.changes Debian FTP Masters
- custom-printf_113.00.00-1_source.changes REJECTED Debian FTP Masters
- pa-structural-sexp_113.00.00-1_source.changes REJECTED Debian FTP Masters
- pa-test_112.24.00-1_source.changes ACCEPTED into unstable Debian FTP Masters
- Processing of custom-printf_113.00.00-1_amd64.changes Debian FTP Masters
- Processing of pa-structural-sexp_113.00.00-1_amd64.changes Debian FTP Masters
- custom-printf_113.00.00-1_amd64.changes is NEW Debian FTP Masters
- pa-structural-sexp_113.00.00-1_amd64.changes is NEW Debian FTP Masters
- Processing of janest-core-kernel_113.00.00-1_amd64.changes Debian FTP Masters
- janest-core-kernel_113.00.00-1_amd64.changes is NEW Debian FTP Masters
- Processing of janest-core_113.00.00-1_source.changes Debian FTP Masters
- Bug#731817: marked as done (janest-core: FTBFS with ocaml 4.01.0) Debian Bug Tracking System
- Bug#743155: marked as done (libcore-ocaml: Cannot be installed under Sid) Debian Bug Tracking System
- Bug#754303: marked as done (janest-core: New version available) Debian Bug Tracking System
- janest-core_113.00.00-1_source.changes ACCEPTED into unstable Debian FTP Masters
- unison2.32.52 is marked for autoremoval from testing Debian testing autoremoval watch
- Bug#809999: pa-test: FTBFS: E: Cannot find findlib package herelib Chris Lamb
- Processing of pa-test_112.24.00-2_source.changes Debian FTP Masters
- pa-test_112.24.00-2_source.changes ACCEPTED into unstable Debian FTP Masters
- Processing of typerep_113.00.00-1_source.changes Debian FTP Masters
- Processing of enumerate_111.08.00-2_source.changes Debian FTP Masters
- Processing of variantslib_109.15.03-2_source.changes Debian FTP Masters
- typerep_113.00.00-1_source.changes ACCEPTED into unstable Debian FTP Masters
- Processing of janest-core-kernel_113.00.00-2_source.changes Debian FTP Masters
- enumerate_111.08.00-2_source.changes ACCEPTED into unstable Debian FTP Masters
- janest-core-kernel_113.00.00-2_source.changes REJECTED Debian FTP Masters
- variantslib_109.15.03-2_source.changes ACCEPTED into unstable Debian FTP Masters
- Processing of janest-core-kernel_113.00.00-2_amd64.changes Debian FTP Masters
- janest-core-kernel_113.00.00-2_amd64.changes is NEW Debian FTP Masters
- Processing of nss-passwords_0.2-2_amd64.changes Debian FTP Masters
- Bug#802865: marked as done (nss-passwords: FTBFS: ocaml/caml/config.h: error: conflicting types for 'int64') Debian Bug Tracking System
- nss-passwords_0.2-2_amd64.changes ACCEPTED into unstable Debian FTP Masters
- Processing of otags_4.01.1-3_amd64.changes Debian FTP Masters
- Bug#802166: marked as done (otags: fails to install: post-installation script returned error exit status 3) Debian Bug Tracking System
- Processed: reopening 802166 Debian Bug Tracking System
- Processed: found 802166 in otags/4.01.1-3 Debian Bug Tracking System
- otags_4.01.1-3_amd64.changes ACCEPTED into unstable Debian FTP Masters
- Processing of zed_1.4-1_amd64.changes Debian FTP Masters
- zed_1.4-1_amd64.changes is NEW Debian FTP Masters
- Processing of lambda-term_1.9-1_amd64.changes Debian FTP Masters
- lambda-term_1.9-1_amd64.changes is NEW Debian FTP Masters
- Processing of utop_1.18.1-1_amd64.changes Debian FTP Masters
- utop_1.18.1-1_amd64.changes is NEW Debian FTP Masters
- meta-unison is marked for autoremoval from testing Debian testing autoremoval watch
- Bug#810212: segfaults when using as unison-2.40 to sync with a jessie system Enrico Zini
- Bug#810213: Ben: Use https instead of http for external links Mehdi Dogguy
- Processing of ocaml-textutils_112.17.00-1_amd64.changes Debian FTP Masters
- ocaml-textutils_112.17.00-1_amd64.changes is NEW Debian FTP Masters
- Bug#786671: marked as done (dose3: support for versioned provides) Debian Bug Tracking System
- Processing of dose3_4.1-1_amd64.changes Debian FTP Masters
- Bug#810262: ITP: ocaml-re2 -- OCaml bindings for re2 Hilko Bengen
- dose3_4.1-1_amd64.changes ACCEPTED into unstable Debian FTP Masters
- Bug#802055: camlp4 Romain Beauxis
- Processing of ocaml-re2_113.00.00-1_amd64.changes Debian FTP Masters
- ocaml-re2_113.00.00-1_amd64.changes is NEW Debian FTP Masters
- Processing of janest-core-extended_113.00.00-1_amd64.changes Debian FTP Masters
- Bug#810270: RM: unison2.40.102 -- ROM; Broken (#807019) Mehdi Dogguy
- Processing of meta-unison_2.48+2_amd64.changes Debian FTP Masters
- Processing of dose3_4.1-2_amd64.changes Debian FTP Masters
- dose3_4.1-2_amd64.changes ACCEPTED into unstable Debian FTP Masters
- janest-core-extended_113.00.00-1_amd64.changes is NEW Debian FTP Masters
- meta-unison_2.48+2_amd64.changes ACCEPTED into unstable Debian FTP Masters
- Bug#810303: dose-builddebcheck output breaks backwards compatibility in 4.1 dropping the "src:" prefix, worth NEWS? Helmut Grohne
- Processed: tagging 808491, found 808874 in 20151023, tagging 809130, found 733693 in 0.6.1-6, tagging 733693 ... Debian Bug Tracking System
- Bug#807019: unison2.40.102: Segmentation fault Ashley Hooper
- Bug#810513: apt-cudf: SIGPIPE on 32-bit machine, causes experimental buildds to fail Julian Andres Klode
- Bug#810531: RM: unison2.32.52 -- ROM; Broken (#809225) Mehdi Dogguy
- Processed: bug 810513 is forwarded to dose development list Debian Bug Tracking System
- Processing of dose3_4.1-3_amd64.changes Debian FTP Masters
- dose3_4.1-3_amd64.changes ACCEPTED into unstable Debian FTP Masters
- Bug#810553: unison: Please package Unison's fsmonitor.py Andrew Chadwick
- Bug#668751: liquidsoap: diff for NMU version 1.1.1-7.1 Mattia Rizzolo
- Message not available
- Message not available
- Message not available
- Processing of liquidsoap_1.1.1-7.1_source.changes Debian FTP Masters
- Bug#810270: Removed package(s) from unstable Debian FTP Masters
- Bug#810531: Removed package(s) from unstable Debian FTP Masters
- Bug#809225: Nice way to solve bugs and segfaults Nathael Pajani
- Processed: severity of 790958 is normal, severity of 805844 is serious, severity of 807237 is serious ... Debian Bug Tracking System
- Bug#668751: marked as done (liquidsoap: unowned directory after purge: /usr/share/liquidsoap) Debian Bug Tracking System
- Bug#802055: marked as done (liquidsoap: currently FTBFS) Debian Bug Tracking System
- Bug#786026: marked as done (liquidsoap: deprecation of python-support) Debian Bug Tracking System
- liquidsoap_1.1.1-7.1_source.changes ACCEPTED into unstable Debian FTP Masters
- ocamlgsl is marked for autoremoval from testing Debian testing autoremoval watch
- Verwarm de sfeer van uw bedrijf met een smakelijke kopje koffie Koffiemachine
- custom-printf_113.00.00-1_amd64.changes ACCEPTED into unstable, unstable Debian FTP Masters
- pa-structural-sexp_113.00.00-1_amd64.changes ACCEPTED into unstable, unstable Debian FTP Masters
- OCaml code checker? Paul Wise
- Processing of otags_4.02.2-1_amd64.changes Debian FTP Masters
- otags_4.02.2-1_amd64.changes ACCEPTED into unstable Debian FTP Masters
- Bug#811248: Error in manpage: --arch should be --deb-native-arch Christoph Berg
- Bug#805818: marked as done (ocamlgsl: Fails to build with GSL 2) Debian Bug Tracking System
- Processing of ocamlgsl_1.19.1-1_amd64.changes Debian FTP Masters
- ocamlgsl_1.19.1-1_amd64.changes ACCEPTED into unstable Debian FTP Masters
- Processing of menhir_20151112.dfsg-1_amd64.changes Debian FTP Masters
- Bug#724847: marked as done (facile: FTBFS with make 3.82) Debian Bug Tracking System
- menhir_20151112.dfsg-1_amd64.changes ACCEPTED into unstable Debian FTP Masters
- Processing of facile_1.1.1-1_amd64.changes Debian FTP Masters
- facile_1.1.1-1_amd64.changes ACCEPTED into unstable Debian FTP Masters
- Bug#808628: marked as done (apron: FTBFS: ap_config.h: error: expected identifier or ‘(’ before ‘__extension__’) Debian Bug Tracking System
- Processing of apron_0.9.10-7_amd64.changes Debian FTP Masters
- apron_0.9.10-7_amd64.changes ACCEPTED into unstable Debian FTP Masters
- Processing of pgocaml_2.2-1_amd64.changes Debian FTP Masters
- Processing of ocaml-ssl_0.5.2-1_amd64.changes Debian FTP Masters
- ocaml-ssl_0.5.2-1_amd64.changes ACCEPTED into unstable Debian FTP Masters
- pgocaml_2.2-1_amd64.changes ACCEPTED into unstable Debian FTP Masters
- Processing of ocaml-ipaddr_2.6.1-1_amd64.changes Debian FTP Masters
- ocaml-ipaddr_2.6.1-1_amd64.changes ACCEPTED into unstable Debian FTP Masters
- Processing of cmdliner_0.9.8-1_amd64.changes Debian FTP Masters
- Processing of ocaml-extunix_0.1.3-1_amd64.changes Debian FTP Masters
- cmdliner_0.9.8-1_amd64.changes ACCEPTED into unstable Debian FTP Masters
- ocaml-extunix_0.1.3-1_amd64.changes ACCEPTED into unstable Debian FTP Masters
- Processing of parmap_1.0~rc7-1_amd64.changes Debian FTP Masters
- parmap_1.0~rc7-1_amd64.changes ACCEPTED into unstable Debian FTP Masters
- zed_1.4-1_amd64.changes ACCEPTED into unstable, unstable Debian FTP Masters
- Bug#790422: Parsing.Parse_error Christoph Berg
- Bug#811569: More forgiving parser on bad input fields Christoph Berg
- Processed: found 811569 in 3.3~beta1-3 Debian Bug Tracking System
- Bug#802264: src:matita: FTBFS with OCaml 4.02.3 Enrico Tassi
- Processed: reassign 802264 to camlp5 Debian Bug Tracking System
- Bug#812178: FTBFS: The implementation hExtlib.ml does not match the interface hExtlib.cmi Mehdi Dogguy
- Bug#812202: dose-distcheck, dose-builddebcheck: --exclude option Christoph Berg
- Bug#812203: dose-deb-coinstall mentioned as "dose-coinstall" in dose-extra description Christoph Berg
- ocaml-re2_113.00.00-1_amd64.changes REJECTED Thorsten Alteholz
- ocaml-textutils_112.17.00-1_amd64.changes ACCEPTED into unstable, unstable Debian FTP Masters
- Processing of ocaml-re2_113.00.00+dfsg-1_amd64.changes Debian FTP Masters
- ocaml-re2_113.00.00+dfsg-1_amd64.changes is NEW Debian FTP Masters
- Bug#812300: FTBFS: The first variant type does not allow tag Martin Michlmayr
- aac-tactics is marked for autoremoval from testing Debian testing autoremoval watch
- ulex0.8 is marked for autoremoval from testing Debian testing autoremoval watch
- ledit is marked for autoremoval from testing Debian testing autoremoval watch
- camlp5 is marked for autoremoval from testing Debian testing autoremoval watch
- prooftree is marked for autoremoval from testing Debian testing autoremoval watch
- coq-doc is marked for autoremoval from testing Debian testing autoremoval watch
- hol-light is marked for autoremoval from testing Debian testing autoremoval watch
- mathcomp is marked for autoremoval from testing Debian testing autoremoval watch
- why is marked for autoremoval from testing Debian testing autoremoval watch
- coq-float is marked for autoremoval from testing Debian testing autoremoval watch
- ssreflect is marked for autoremoval from testing Debian testing autoremoval watch
- coq is marked for autoremoval from testing Debian testing autoremoval watch
- Processed: tagging 811569 Debian Bug Tracking System
- Processed: bug 812202 is forwarded to https://gforge.inria.fr/tracker/index.php?func=detail&aid=19981&group_id=4395&atid=13809 Debian Bug Tracking System
- Bug#770802: marked as done (dose-debcheck: now requires --deb-native-arch when used with -e -f) Debian Bug Tracking System
- Processing of eliom_4.2-1_amd64.changes Debian FTP Masters
- Bug#802860: marked as done (eliom: FTBFS: the new definition of Svg does not match its original definition in the constrained signature) Debian Bug Tracking System
- eliom_4.2-1_amd64.changes ACCEPTED into unstable Debian FTP Masters
- ocaml-re2_113.00.00+dfsg-1_amd64.changes ACCEPTED into unstable, unstable Debian FTP Masters
- Processed: tagging 812337, tagging 812178, tagging 812188, tagging 812085, tagging 811714 Debian Bug Tracking System
- Processed: severity of 802264 is important Debian Bug Tracking System
- Processing of frama-c_20151002+magnesium+dfsg-1_amd64.changes Debian FTP Masters
- frama-c_20151002+magnesium+dfsg-1_amd64.changes ACCEPTED into unstable Debian FTP Masters
- Bug#812591: liquidsoap: segfaults immediately Andrew Yong
- Bug#812634: janest-core: FTBFS - build-depends on non-existent libcore-kernel-ocaml-dev Michael Tautschnig
- Processing of camlp5_6.14-2_amd64.changes Debian FTP Masters
- camlp5_6.14-2_amd64.changes ACCEPTED into unstable Debian FTP Masters
- Bug#812711: nurpawiki: FTBFS - argument cannot be applied without label Michael Tautschnig
- Processing of eliom_4.2-2_amd64.changes Debian FTP Masters
- eliom_4.2-2_amd64.changes ACCEPTED into unstable Debian FTP Masters
- Processing of ocaml-zarith_1.4.1-1_amd64.changes Debian FTP Masters
- Processing of ocaml-csv_1.4.2-1_amd64.changes Debian FTP Masters
- Bug#812786: dose3: Please add support for hardened1-linux-amd64 Balint Reczey
- Processing of cppo_1.3.1-1_amd64.changes Debian FTP Masters
- Processing of easy-format_1.2.0-1_amd64.changes Debian FTP Masters
- cppo_1.3.1-1_amd64.changes ACCEPTED into unstable Debian FTP Masters
- easy-format_1.2.0-1_amd64.changes ACCEPTED into unstable Debian FTP Masters
- ocaml-csv_1.4.2-1_amd64.changes ACCEPTED into unstable Debian FTP Masters
- ocaml-zarith_1.4.1-1_amd64.changes ACCEPTED into unstable Debian FTP Masters
- Processing of coq_8.5-1_amd64.changes Debian FTP Masters
- Accepted coq 8.5-1 (source amd64) into unstable Enrico Tassi
- coq_8.5-1_amd64.changes ACCEPTED into unstable Debian FTP Masters
- Processed: tagging 812786 Debian Bug Tracking System
- failed s390x build of coq 8.5-1 Debian buildds
- failed ppc64el build of coq 8.5-1 Debian buildds
- failed mips build of coq 8.5-1 Debian buildds
- Processing of yojson_1.3.0-1_amd64.changes Debian FTP Masters
- failed mipsel build of coq 8.5-1 Debian buildds
- yojson_1.3.0-1_amd64.changes ACCEPTED into unstable Debian FTP Masters
- Processing of atdgen_1.7.2-1_amd64.changes Debian FTP Masters
- atdgen_1.7.2-1_amd64.changes ACCEPTED into unstable Debian FTP Masters
- Processing of coq_8.5-2_amd64.changes Debian FTP Masters
- Accepted coq 8.5-2 (source amd64) into unstable Enrico Tassi
- coq_8.5-2_amd64.changes ACCEPTED into unstable Debian FTP Masters
- Bug#813063: coq-doc: FTBFS in sid: File "kernel/univ.ml", line 229, characters 0-2: Error: This comment contains an unterminated string literal Andreas Beckmann
- Bug#718317: marked as done (apt-cudf: doesn't include any source preference in the Request stanza) Debian Bug Tracking System
- Processed: tagging 812658 ..., tagging 812658, tagging 812619, tagging 812644, tagging 812711, tagging 812620 ... Debian Bug Tracking System
- ocp-indent is marked for autoremoval from testing Debian testing autoremoval watch
- Processed: tag Debian Bug Tracking System
- Bug#790422: marked as done (Parsing.Parse_error - improve error message) Debian Bug Tracking System
- janest-core-extended_113.00.00-1_amd64.changes REJECTED Thorsten Alteholz
- janest-core-kernel_113.00.00-2_amd64.changes REJECTED Thorsten Alteholz
- janest-core-kernel_113.00.00-1_amd64.changes REJECTED Thorsten Alteholz
- Processing of ocp-indent_1.5.2-1_source.changes Debian FTP Masters
- ocp-indent_1.5.2-1_source.changes ACCEPTED into unstable Debian FTP Masters
- Processing of janest-core-kernel_113.00.00-3_amd64.changes Debian FTP Masters
- janest-core-kernel_113.00.00-3_amd64.changes is NEW Debian FTP Masters
- Processing of ocp-indent_1.5.2-2_source.changes Debian FTP Masters
- ocp-indent_1.5.2-2_source.changes ACCEPTED into unstable Debian FTP Masters
- Processing of janest-core-extended_113.00.00-2_amd64.changes Debian FTP Masters
- janest-core-extended_113.00.00-2_amd64.changes is NEW Debian FTP Masters
The last update was on 07:03 GMT Wed May 29. There are 298 messages. Page 1 of 1.
[Date Index]
[Subject Index]
[Author Index]
[Other Debian Lists]
[Debian Home]
Mail converted by MHonArc