debian-ocaml-maint Jan 2020 by thread
[Date Index]
[Subject Index]
[Author Index]
[Other Debian Lists]
[Debian Home]
- Processing of coq_8.10.2-1_amd64.changes Debian FTP Masters
- coq_8.10.2-1_amd64.changes is NEW Debian FTP Masters
- Bug#920589: CoqIDE supports GTK 3 Ralf Treinen
- Processed: tagging 946580 Debian Bug Tracking System
- pyml_20190626-1_amd64.changes ACCEPTED into unstable, unstable Debian FTP Masters
- libglade2 unmaintained and affected by python2 removal Andreas Henriksson
- Heb jij de goudtest al gedaan? Grote crisis... Johnny Verkuringen
- Processing of pyml_20190626-2_source.changes Debian FTP Masters
- pyml_20190626-2_source.changes ACCEPTED into unstable Debian FTP Masters
- [bts-link] source package coq debian-bts-link
- Bug#686141: patch to add stdin support to galax-run Christopher Cramer
- Riesgos Psicosocial en el Trabajo NOM-035-STPS
- Prevencion Lavado de Dinero Jessica Torres
- Processing of ocaml-re_1.9.0-1_source.changes Debian FTP Masters
- ocaml-re_1.9.0-1_source.changes ACCEPTED into unstable Debian FTP Masters
- Processing of ocaml-sexplib0_0.13.0-1_source.changes Debian FTP Masters
- ocaml-sexplib0_0.13.0-1_source.changes ACCEPTED into unstable Debian FTP Masters
- Processing of janest-base_0.13.0-1_source.changes Debian FTP Masters
- janest-base_0.13.0-1_source.changes ACCEPTED into unstable Debian FTP Masters
- Processing of ocaml-stdio_0.13.0-1_source.changes Debian FTP Masters
- ocaml-stdio_0.13.0-1_source.changes ACCEPTED into unstable Debian FTP Masters
- Bug#948528: Package is 5 years out of date Melik Yuksel
- Bug#948776: ITP: ocaml-astring -- alternative String module for OCaml Stéphane Glondu
- Bug#794130: marked as done (coq: please make the build reproducible (timestamps)) Debian Bug Tracking System
- Bug#920589: marked as done (coqide is not longer packaged for amd64) Debian Bug Tracking System
- Bug#946580: marked as done (No coqidetop in coq package breaks editor plugins) Debian Bug Tracking System
- coq_8.10.2-1_amd64.changes ACCEPTED into experimental, experimental Debian FTP Masters
- Accepted coq 8.10.2-1 (source amd64) into experimental, experimental Ralf Treinen
- failed arm64 build of coq 8.10.2-1 Debian buildds
- Processing of ocaml-astring_0.8.3-1_amd64.changes Debian FTP Masters
- ocaml-astring_0.8.3-1_amd64.changes is NEW Debian FTP Masters
- failed s390x build of coq 8.10.2-1 Debian buildds
- failed i386 build of coq 8.10.2-1 Debian buildds
- failed armhf build of coq 8.10.2-1 Debian buildds
- Processing of ppxlib_0.12.0-1_source.changes Debian FTP Masters
- Processed: affects 877507 Debian Bug Tracking System
- ppxlib_0.12.0-1_source.changes ACCEPTED into unstable Debian FTP Masters
- Processing of ppx-sexp-conv_0.13.0-1_source.changes Debian FTP Masters
- ppx-sexp-conv_0.13.0-1_source.changes ACCEPTED into unstable Debian FTP Masters
- failed armel build of coq 8.10.2-1 Debian buildds
- Bug#948859: coccinelle: Package is uninstallable Benjamin Poirier
- ✍ We starten een fantastisch 2020 - geen verzendingskosten! ✍ Sarah, uw afdrukassistente.
- Bug#937400: pycaml: Python2 removal in sid/bullseye Stéphane Glondu
- Bug#948868: ITP: ocaml-fmt -- OCaml Format pretty-printer combinators Stéphane Glondu
- Processing of ocaml_4.08.1-7_source.changes Debian FTP Masters
- ocaml_4.08.1-7_source.changes ACCEPTED into unstable Debian FTP Masters
- Processed: tagging 948917 ..., found 948914 in 0~1.0-2 ..., tagging 948914 ..., tagging 948876, tagging 948859 ... Debian Bug Tracking System
- Processing of ocaml-fmt_0.8.8-1_amd64.changes Debian FTP Masters
- ocaml-fmt_0.8.8-1_amd64.changes is NEW Debian FTP Masters
- Processing of react_1.2.1-1_source.changes Debian FTP Masters
- react_1.2.1-1_source.changes ACCEPTED into unstable Debian FTP Masters
- Processing of ocaml-sqlite3_5.0.1-1_source.changes Debian FTP Masters
- ocaml-sqlite3_5.0.1-1_source.changes ACCEPTED into unstable Debian FTP Masters
- Bug#948978: RM: ppx-type-conv -- ROM; deprecated by upstream Stéphane Glondu
- Processing of ppx-optcomp_0.13.0-1_source.changes Debian FTP Masters
- ppx-optcomp_0.13.0-1_source.changes ACCEPTED into unstable Debian FTP Masters
- Bug#946580: No coqidetop in coq package breaks editor plugins Julien Lepiller
- Processed: reassign 935817 to debhelper, fixed 935817 in 12.7.2, affects 935817, tagging 948859, tagging 936444 ... Debian Bug Tracking System
- Processing of reactivedata_0.2.2-1_source.changes Debian FTP Masters
- reactivedata_0.2.2-1_source.changes ACCEPTED into unstable Debian FTP Masters
- Bug#948978: Removed package(s) from unstable Debian FTP Masters
- Bug#949127: RM: ppx-driver -- ROM; deprecated by upstream Stéphane Glondu
- failed mipsel build of coq 8.10.2-1 Debian buildds
- failed mips64el build of coq 8.10.2-1 Debian buildds
- Bug#949127: Removed package(s) from unstable Debian FTP Masters
- Bug#949283: RM: ppx-core -- ROM; deprecated by upstream Stéphane Glondu
- Bug#949283: Removed package(s) from unstable Debian FTP Masters
- Bug#949364: src:ocsigenserver: Build-Depends on NBS package liblwt-ssl-ocaml-dev Juhani Numminen
- Bug#949365: src:eliom: Build-Depends on NBS package liblwt-ssl-ocaml-dev Juhani Numminen
- Processed: Bugs related to NBS liblwt-ssl-ocaml-dev Debian Bug Tracking System
- Bug#933992: marked as done (obus FTBFS because it depends on lwt.syntax) Debian Bug Tracking System
- Processing of obus_1.2.1-1_source.changes Debian FTP Masters
- obus_1.2.1-1_source.changes ACCEPTED into unstable Debian FTP Masters
- Bug#912093: marked as done (lablgtk-extras FTBFS: ocamlfind: Package `lablgtk2.sourceview2' not found) Debian Bug Tracking System
- Processing of lablgtk-extras_1.6-1_source.changes Debian FTP Masters
- lablgtk-extras_1.6-1_source.changes ACCEPTED into unstable Debian FTP Masters
- Processing of ocaml-zarith_1.9.1-1_source.changes Debian FTP Masters
- ocaml-zarith_1.9.1-1_source.changes ACCEPTED into unstable Debian FTP Masters
- Bug#949371: ITP: lwt-ssl -- OCaml OpenSSL binding with concurrent I/O Stéphane Glondu
- Processing of uuidm_0.9.7-1_source.changes Debian FTP Masters
- uuidm_0.9.7-1_source.changes ACCEPTED into unstable Debian FTP Masters
- Processing of lwt-ssl_1.1.3-1_amd64.changes Debian FTP Masters
- lwt-ssl_1.1.3-1_amd64.changes REJECTED Debian FTP Masters
- lwt-ssl_1.1.3-1_amd64.changes is NEW Debian FTP Masters
- ocaml-astring_0.8.3-1_amd64.changes ACCEPTED into unstable, unstable Debian FTP Masters
- ocaml-fmt_0.8.8-1_amd64.changes ACCEPTED into unstable, unstable Debian FTP Masters
- Bug#935870: marked as done (lablgtk3: should install *.cmxs files in run-time packages) Debian Bug Tracking System
- Processing of lablgtk3_3.0~beta8-1_source.changes Debian FTP Masters
- Bug#949467: ITP: ocaml-domain-name -- RFC 1035 Internet domain names Stéphane Glondu
- lablgtk3_3.0~beta8-1_source.changes ACCEPTED into experimental Debian FTP Masters
- Processing of ocaml-domain-name_0.3.0-1_amd64.changes Debian FTP Masters
- ocaml-domain-name_0.3.0-1_amd64.changes is NEW Debian FTP Masters
- Bug#945246: marked as done (fails to build from source, attempts to install file in / rather than debian/tmp/) Debian Bug Tracking System
- Processing of liquidsoap_1.4.1-1_source.changes Debian FTP Masters
- liquidsoap_1.4.1-1_source.changes ACCEPTED into unstable Debian FTP Masters
- Ik vraag je om een gunst… Gelieve te lezen Johnny Verkuringen
- lwt-ssl_1.1.3-1_amd64.changes ACCEPTED into unstable, unstable Debian FTP Masters
- Riesgos Ergonomicos en el Trabajo STPS NOM-036
- Processed: bug 836118 is forwarded to https://github.com/ocaml-community/obus/issues/21 Debian Bug Tracking System
- ocaml-domain-name_0.3.0-1_amd64.changes ACCEPTED into unstable, unstable Debian FTP Masters
- Processing of ocaml-ipaddr_4.0.0-1_source.changes Debian FTP Masters
- Bug#933993: marked as done (ocaml-usb FTBFS because it depends on lwt.syntax) Debian Bug Tracking System
- ocaml-ipaddr_4.0.0-1_source.changes ACCEPTED into unstable Debian FTP Masters
- Processing of ocaml-usb_1.3.1-1_source.changes Debian FTP Masters
- ocaml-usb_1.3.1-1_source.changes ACCEPTED into unstable Debian FTP Masters
- Processing of ocsigenserver_2.16.0-1_source.changes Debian FTP Masters
- ocsigenserver_2.16.0-1_source.changes ACCEPTED into unstable Debian FTP Masters
- Processed: affects 877496 Debian Bug Tracking System
- Processing of ocaml-usb_1.3.1-2_source.changes Debian FTP Masters
- ocaml-usb_1.3.1-2_source.changes ACCEPTED into unstable Debian FTP Masters
- Processing of ocsigenserver_2.16.0-2_source.changes Debian FTP Masters
- Processing of ocaml-usb_1.3.1-3_source.changes Debian FTP Masters
- ocaml-usb_1.3.1-3_source.changes ACCEPTED into unstable Debian FTP Masters
- ocsigenserver_2.16.0-2_source.changes ACCEPTED into unstable Debian FTP Masters
- Processing of ocaml-bitstring_3.1.1-1_source.changes Debian FTP Masters
- ocaml-bitstring_3.1.1-1_source.changes ACCEPTED into unstable Debian FTP Masters
- Processing of variantslib_0.13.0-1_source.changes Debian FTP Masters
- variantslib_0.13.0-1_source.changes ACCEPTED into unstable Debian FTP Masters
- AW:ANTWORT: DRINGENDE NACHRICHT 619 8378 9398
- Processing of coq_8.9.1-3_source.changes Debian FTP Masters
- Accepted coq 8.9.1-3 (source) into unstable Ralf Treinen
- coq_8.9.1-3_source.changes ACCEPTED into unstable Debian FTP Masters
- Bug#949810: ocaml-dune: please upgrade package to >= 2.0 Ralf Treinen
- failed armel build of coq 8.9.1-3 Debian buildds
- Bug#949814: nmu: camlp5_7.10-1 Ralf Treinen
- failed mips64el build of coq 8.9.1-3 Debian buildds
- Processing of coq_8.9.1-4_source.changes Debian FTP Masters
- coq_8.9.1-4_source.changes ACCEPTED into unstable Debian FTP Masters
- Accepted coq 8.9.1-4 (source) into unstable Ralf Treinen
- failed mipsel build of coq 8.9.1-3 Debian buildds
- Processing of ocaml-dune_2.1.3-1_source.changes Debian FTP Masters
- ocaml-dune_2.1.3-1_source.changes ACCEPTED into unstable Debian FTP Masters
- Bug#949926: FTBFS with bitstring 3.1.1 Stéphane Glondu
- Processed: bug 949926 is forwarded to https://github.com/backtracking/mlpost/issues/10 Debian Bug Tracking System
- Processing of dh-ocaml_1.1.1_source.changes Debian FTP Masters
- dh-ocaml_1.1.1_source.changes ACCEPTED into unstable Debian FTP Masters
- Bug#925103: marked as done (Updating the fieldslib Uploaders list) Debian Bug Tracking System
- Processing of fieldslib_0.13.0-1_source.changes Debian FTP Masters
- fieldslib_0.13.0-1_source.changes ACCEPTED into unstable Debian FTP Masters
- Bug#949953: ITP: ocaml-parsexp -- S-expression parsing library Stéphane Glondu
- Processing of ocaml-parsexp_0.13.0-1_amd64.changes Debian FTP Masters
- ocaml-parsexp_0.13.0-1_amd64.changes is NEW Debian FTP Masters
- Bug#949961: ITP: ppx-compare -- generation of comparison functions from OCaml types Stéphane Glondu
- [bts-link] source package src:obus debian-bts-link
- Processing of ppx-compare_0.13.0-1_amd64.changes Debian FTP Masters
- ppx-compare_0.13.0-1_amd64.changes is NEW Debian FTP Masters
- Bug#949975: coq,coqide: both ship /usr/bin/coqidetop{,.opt} Andreas Beckmann
- Processing of ocaml-sedlex_2.1-4_source.changes Debian FTP Masters
- ocaml-sedlex_2.1-4_source.changes ACCEPTED into unstable Debian FTP Masters
- Processing of cmdliner_1.0.4-2_source.changes Debian FTP Masters
- Processing of ocaml-result_1.4-3_source.changes Debian FTP Masters
- Bug#950002: ITP: ppx-custom-printf -- printf-style format-strings for user-defined string conversion Stéphane Glondu
- Bug#950003: ITP: ppx-fields-conv -- generation of accessor and iteration functions for OCaml records Stéphane Glondu
- Bug#950004: ITP: ppx-variants-conv -- generation of accessor and iteration functions for OCaml variant types Stéphane Glondu
- cmdliner_1.0.4-2_source.changes ACCEPTED into unstable Debian FTP Masters
- ocaml-result_1.4-3_source.changes ACCEPTED into unstable Debian FTP Masters
- Processing of ppx-custom-printf_0.13.0-1_amd64.changes Debian FTP Masters
- Processing of ppx-fields-conv_0.13.0-1_amd64.changes Debian FTP Masters
- Processing of ppx-variants-conv_0.13.0-1_amd64.changes Debian FTP Masters
- ppx-custom-printf_0.13.0-1_amd64.changes is NEW Debian FTP Masters
- ppx-fields-conv_0.13.0-1_amd64.changes is NEW Debian FTP Masters
- ppx-variants-conv_0.13.0-1_amd64.changes is NEW Debian FTP Masters
- Processing of coq_8.9.1-5_source.changes Debian FTP Masters
- coq_8.9.1-5_source.changes ACCEPTED into unstable Debian FTP Masters
- Accepted coq 8.9.1-5 (source) into unstable Debian FTP Masters
- Processing of easy-format_1.3.2-1_source.changes Debian FTP Masters
- Processing of ocaml-migrate-parsetree_1.5.0-1_source.changes Debian FTP Masters
- Processing of pcre-ocaml_7.4.3-1_source.changes Debian FTP Masters
- easy-format_1.3.2-1_source.changes ACCEPTED into unstable Debian FTP Masters
- ocaml-migrate-parsetree_1.5.0-1_source.changes ACCEPTED into unstable Debian FTP Masters
- Het tweede verborgen geheim Johnny Verkuringen
- Processing of uutf_1.0.2-1_source.changes Debian FTP Masters
- pcre-ocaml_7.4.3-1_source.changes ACCEPTED into unstable Debian FTP Masters
- uutf_1.0.2-1_source.changes ACCEPTED into unstable Debian FTP Masters
- Processing of tyxml_4.3.0-1_source.changes Debian FTP Masters
- tyxml_4.3.0-1_source.changes ACCEPTED into unstable Debian FTP Masters
- Processing of ocaml_4.08.1-8_source.changes Debian FTP Masters
- ocaml_4.08.1-8_source.changes ACCEPTED into unstable Debian FTP Masters
- Processing of mlpost_0.8.2-2_source.changes Debian FTP Masters
- mlpost_0.8.2-2_source.changes ACCEPTED into unstable Debian FTP Masters
- [bts-link] source package src:mlpost debian-bts-link
- Processing of ocaml-mccs_1.1+11-1_source.changes Debian FTP Masters
- ocaml-mccs_1.1+11-1_source.changes ACCEPTED into unstable Debian FTP Masters
- ocaml-parsexp_0.13.0-1_amd64.changes ACCEPTED into unstable, unstable Debian FTP Masters
- Processing of ocaml-atd_2.1.0-1_source.changes Debian FTP Masters
- ocaml-atd_2.1.0-1_source.changes ACCEPTED into unstable Debian FTP Masters
- Bug#925049: marked as done (Updating the sexplib310 Uploaders list) Debian Bug Tracking System
- Bug#877496: marked as done (sexplib310 FTBFS: Error: This expression has type Obj.t but an expression was expected of type extension_constructor) Debian Bug Tracking System
- Processing of sexplib310_0.13.0-1_source.changes Debian FTP Masters
- sexplib310_0.13.0-1_source.changes ACCEPTED into unstable Debian FTP Masters
- Bug#950354: dose-builddebcheck: Filter out Architecture: all sources with --deb-drop-b-d-indep Daniel Schepler
- Bug#950356: meta-ocaml: A new source-only upload is needed to allow testing re-enter Boyuan Yang
- Processing of lwt-log_1.1.1-2_source.changes Debian FTP Masters
- lwt-log_1.1.1-2_source.changes ACCEPTED into unstable Debian FTP Masters
The last update was on 21:00 GMT Fri Jan 31. There are 213 messages. Page 1 of 1.
[Date Index]
[Subject Index]
[Author Index]
[Other Debian Lists]
[Debian Home]
Mail converted by MHonArc