debian-ocaml-maint Jan 2020 by author

[previous page]

Page 1 of 1

[next page]

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

---

619 8378 9398

• AW:ANTWORT: DRINGENDE NACHRICHT Jan 24

Stéphane Glondu

• Bug#949467: ITP: ocaml-domain-name -- RFC 1035 Internet domain names Jan 21
• Bug#949283: RM: ppx-core -- ROM; deprecated by upstream Jan 19
• Bug#948868: ITP: ocaml-fmt -- OCaml Format pretty-printer combinators Jan 14
• Bug#949926: FTBFS with bitstring 3.1.1 Jan 27
• Bug#937400: pycaml: Python2 removal in sid/bullseye Jan 14
• Bug#949371: ITP: lwt-ssl -- OCaml OpenSSL binding with concurrent I/O Jan 20
• Bug#948978: RM: ppx-type-conv -- ROM; deprecated by upstream Jan 15
• Bug#950002: ITP: ppx-custom-printf -- printf-style format-strings for user-defined string conversion Jan 28
• Bug#949127: RM: ppx-driver -- ROM; deprecated by upstream Jan 17
• Bug#950003: ITP: ppx-fields-conv -- generation of accessor and iteration functions for OCaml records Jan 28
• Bug#950004: ITP: ppx-variants-conv -- generation of accessor and iteration functions for OCaml variant types Jan 28
• Bug#949961: ITP: ppx-compare -- generation of comparison functions from OCaml types Jan 27
• Bug#948776: ITP: ocaml-astring -- alternative String module for OCaml Jan 13
• Bug#949953: ITP: ocaml-parsexp -- S-expression parsing library Jan 27
• Bug#948859: coccinelle: Package is uninstallable Jan 16

Adrian Bunk

• Re: libglade2 unmaintained and affected by python2 removal Jan 03

Andreas Beckmann

• Bug#949975: coq,coqide: both ship /usr/bin/coqidetop{,.opt} Jan 27

Andreas Henriksson

• libglade2 unmaintained and affected by python2 removal Jan 02

Benjamin Poirier

• Bug#948859: coccinelle: Package is uninstallable Jan 16
• Bug#948859: coccinelle: Package is uninstallable Jan 14

Boyuan Yang

• Bug#950356: meta-ocaml: A new source-only upload is needed to allow testing re-enter Jan 31

Christopher Cramer

• Bug#686141: patch to add stdin support to galax-run Jan 06

Daniel Schepler

• Bug#950354: dose-builddebcheck: Filter out Architecture: all sources with --deb-drop-b-d-indep Jan 31

Debian Bug Tracking System

• Bug#920589: marked as done (coqide is not longer packaged for amd64) Jan 13
• Processed: bug 949926 is forwarded to https://github.com/backtracking/mlpost/issues/10 Jan 27
• Processed: bug 836118 is forwarded to https://github.com/ocaml-community/obus/issues/21 Jan 23
• Processed: Bug#949926 marked as pending in mlpost Jan 30
• Bug#949975: marked as done (coq,coqide: both ship /usr/bin/coqidetop{,.opt}) Jan 29
• Bug#794130: marked as done (coq: please make the build reproducible (timestamps)) Jan 13
• Bug#949926: marked as done (FTBFS with bitstring 3.1.1) Jan 30
• Processed: reassign 935817 to debhelper, fixed 935817 in 12.7.2, affects 935817, tagging 948859, tagging 936444 ... Jan 16
• Bug#920589: marked as done (coqide is not longer packaged for amd64) Jan 24
• Bug#949810: marked as done (ocaml-dune: please upgrade package to >= 2.0) Jan 27
• Processed: tagging 946580 Jan 02
• Bug#946580: marked as done (No coqidetop in coq package breaks editor plugins) Jan 24
• Processed: affects 877507 Jan 13
• Bug#877507: marked as done (ppx-core FTBFS: E: Cannot find external tool 'ocamlbuild') Jan 20
• Processed: affects 877496 Jan 24
• Bug#949364: marked as done (src:ocsigenserver: Build-Depends on NBS package liblwt-ssl-ocaml-dev) Jan 20
• Processed: Bugs related to NBS liblwt-ssl-ocaml-dev Jan 20
• Bug#925103: marked as done (Updating the fieldslib Uploaders list) Jan 27
• Processed: affects 877507 Jan 15
• Processed: [bts-link] source package src:obus Jan 27
• Bug#933992: marked as done (obus FTBFS because it depends on lwt.syntax) Jan 20
• Processed: affects 877496 Jan 24
• Bug#946580: marked as done (No coqidetop in coq package breaks editor plugins) Jan 13
• Bug#925049: marked as done (Updating the sexplib310 Uploaders list) Jan 31
• Bug#877496: marked as done (sexplib310 FTBFS: Error: This expression has type Obj.t but an expression was expected of type extension_constructor) Jan 31
• Bug#933993: marked as done (ocaml-usb FTBFS because it depends on lwt.syntax) Jan 23
• Bug#945246: marked as done (fails to build from source, attempts to install file in / rather than debian/tmp/) Jan 22
• Processed: tagging 948917 ..., found 948914 in 0~1.0-2 ..., tagging 948914 ..., tagging 948876, tagging 948859 ... Jan 15
• Bug#935870: marked as done (lablgtk3: should install *.cmxs files in run-time packages) Jan 21
• Bug#949365: marked as done (src:eliom: Build-Depends on NBS package liblwt-ssl-ocaml-dev) Jan 20
• Processed: affects 877507 Jan 13
• Bug#912093: marked as done (lablgtk-extras FTBFS: ocamlfind: Package `lablgtk2.sourceview2' not found) Jan 20

Debian buildds

• failed mipsel build of coq 8.10.2-1 Jan 17
• failed s390x build of coq 8.10.2-1 Jan 13
• failed armhf build of coq 8.10.2-1 Jan 13
• failed mips64el build of coq 8.10.2-1 Jan 17
• failed armel build of coq 8.10.2-1 Jan 13
• failed i386 build of coq 8.10.2-1 Jan 13
• failed mips64el build of coq 8.9.1-3 Jan 26
• failed arm64 build of coq 8.10.2-1 Jan 13
• failed armel build of coq 8.9.1-3 Jan 25
• failed mipsel build of coq 8.9.1-3 Jan 27

Debian FTP Masters

• Processing of ocaml-re_1.9.0-1_source.changes Jan 09
• Processing of easy-format_1.3.2-1_source.changes Jan 29
• ocaml-atd_2.1.0-1_source.changes ACCEPTED into unstable Jan 31
• Processing of ppx-custom-printf_0.13.0-1_amd64.changes Jan 28
• Processing of mlpost_0.8.2-2_source.changes Jan 30
• Processing of uutf_1.0.2-1_source.changes Jan 29
• janest-base_0.13.0-1_source.changes ACCEPTED into unstable Jan 09
• fieldslib_0.13.0-1_source.changes ACCEPTED into unstable Jan 27
• react_1.2.1-1_source.changes ACCEPTED into unstable Jan 15
• ocaml_4.08.1-8_source.changes ACCEPTED into unstable Jan 30
• Processing of coq_8.9.1-3_source.changes Jan 24
• Processing of coq_8.9.1-4_source.changes Jan 27
• dh-ocaml_1.1.1_source.changes ACCEPTED into unstable Jan 27
• Processing of ocaml-astring_0.8.3-1_amd64.changes Jan 13
• ocaml-parsexp_0.13.0-1_amd64.changes ACCEPTED into unstable, unstable Jan 31
• ocaml-astring_0.8.3-1_amd64.changes is NEW Jan 13
• Processing of pyml_20190626-2_source.changes Jan 06
• ocsigenserver_2.16.0-1_source.changes ACCEPTED into unstable Jan 24
• Processing of lablgtk-extras_1.6-1_source.changes Jan 20
• Processing of ocaml-atd_2.1.0-1_source.changes Jan 31
• ppx-optcomp_0.13.0-1_source.changes ACCEPTED into unstable Jan 15
• Processing of uuidm_0.9.7-1_source.changes Jan 20
• Processing of ocaml-stdio_0.13.0-1_source.changes Jan 09
• pcre-ocaml_7.4.3-1_source.changes ACCEPTED into unstable Jan 29
• ocaml-fmt_0.8.8-1_amd64.changes is NEW Jan 15
• easy-format_1.3.2-1_source.changes ACCEPTED into unstable Jan 29
• lwt-ssl_1.1.3-1_amd64.changes ACCEPTED into unstable, unstable Jan 22
• mlpost_0.8.2-2_source.changes ACCEPTED into unstable Jan 30
• Processing of ocaml-sedlex_2.1-4_source.changes Jan 28
• Processing of ocaml-zarith_1.9.1-1_source.changes Jan 20
• ocaml-parsexp_0.13.0-1_amd64.changes is NEW Jan 27
• Processing of pcre-ocaml_7.4.3-1_source.changes Jan 29
• lwt-log_1.1.1-2_source.changes ACCEPTED into unstable Jan 31
• ppx-variants-conv_0.13.0-1_amd64.changes is NEW Jan 28
• variantslib_0.13.0-1_source.changes ACCEPTED into unstable Jan 24
• ocaml_4.08.1-7_source.changes ACCEPTED into unstable Jan 14
• ocaml-result_1.4-3_source.changes ACCEPTED into unstable Jan 28
• Accepted coq 8.9.1-5 (source) into unstable Jan 29
• ocaml-re_1.9.0-1_source.changes ACCEPTED into unstable Jan 09
• Processing of ocaml-sexplib0_0.13.0-1_source.changes Jan 09
• ocaml-sqlite3_5.0.1-1_source.changes ACCEPTED into unstable Jan 15
• ocaml-domain-name_0.3.0-1_amd64.changes is NEW Jan 21
• ppx-compare_0.13.0-1_amd64.changes is NEW Jan 27
• ppx-custom-printf_0.13.0-1_amd64.changes is NEW Jan 28
• Processing of ocaml-parsexp_0.13.0-1_amd64.changes Jan 27
• ppx-sexp-conv_0.13.0-1_source.changes ACCEPTED into unstable Jan 13
• lablgtk3_3.0~beta8-1_source.changes ACCEPTED into experimental Jan 21
• ocaml-ipaddr_4.0.0-1_source.changes ACCEPTED into unstable Jan 23
• Processing of ppx-sexp-conv_0.13.0-1_source.changes Jan 13
• Processing of ocaml-dune_2.1.3-1_source.changes Jan 27
• ocaml-sexplib0_0.13.0-1_source.changes ACCEPTED into unstable Jan 09
• uuidm_0.9.7-1_source.changes ACCEPTED into unstable Jan 20
• lwt-ssl_1.1.3-1_amd64.changes REJECTED Jan 20
• Processing of ocaml_4.08.1-8_source.changes Jan 30
• Processing of ppx-fields-conv_0.13.0-1_amd64.changes Jan 28
• Processing of ocaml-fmt_0.8.8-1_amd64.changes Jan 15
• uutf_1.0.2-1_source.changes ACCEPTED into unstable Jan 29
• Processing of ocaml-domain-name_0.3.0-1_amd64.changes Jan 21
• Processing of fieldslib_0.13.0-1_source.changes Jan 27
• ocaml-zarith_1.9.1-1_source.changes ACCEPTED into unstable Jan 20
• pyml_20190626-1_amd64.changes ACCEPTED into unstable, unstable Jan 02
• Processing of dh-ocaml_1.1.1_source.changes Jan 27
• coq_8.10.2-1_amd64.changes ACCEPTED into experimental, experimental Jan 13
• tyxml_4.3.0-1_source.changes ACCEPTED into unstable Jan 29
• Processing of cmdliner_1.0.4-2_source.changes Jan 28
• cmdliner_1.0.4-2_source.changes ACCEPTED into unstable Jan 28
• Processing of ocaml-result_1.4-3_source.changes Jan 28
• Processing of lwt-ssl_1.1.3-1_amd64.changes Jan 20
• ppxlib_0.12.0-1_source.changes ACCEPTED into unstable Jan 13
• coq_8.9.1-4_source.changes ACCEPTED into unstable Jan 27
• Bug#949283: Removed package(s) from unstable Jan 20
• Processing of lablgtk3_3.0~beta8-1_source.changes Jan 21
• Processing of janest-base_0.13.0-1_source.changes Jan 09
• Bug#949127: Removed package(s) from unstable Jan 19
• pyml_20190626-2_source.changes ACCEPTED into unstable Jan 06
• Processing of ocaml-bitstring_3.1.1-1_source.changes Jan 24
• Processing of variantslib_0.13.0-1_source.changes Jan 24
• ocaml-usb_1.3.1-2_source.changes ACCEPTED into unstable Jan 24
• Processing of lwt-log_1.1.1-2_source.changes Jan 31
• obus_1.2.1-1_source.changes ACCEPTED into unstable Jan 20
• coq_8.9.1-5_source.changes ACCEPTED into unstable Jan 29
• ocaml-astring_0.8.3-1_amd64.changes ACCEPTED into unstable, unstable Jan 20
• coq_8.9.1-3_source.changes ACCEPTED into unstable Jan 24
• reactivedata_0.2.2-1_source.changes ACCEPTED into unstable Jan 16
• ocaml-domain-name_0.3.0-1_amd64.changes ACCEPTED into unstable, unstable Jan 23
• Processing of coq_8.9.1-5_source.changes Jan 29
• coq_8.10.2-1_amd64.changes is NEW Jan 01
• Processing of ocaml_4.08.1-7_source.changes Jan 14
• Bug#949283: Removed package(s) from unstable Jan 20
• lablgtk-extras_1.6-1_source.changes ACCEPTED into unstable Jan 20
• ocaml-migrate-parsetree_1.5.0-1_source.changes ACCEPTED into unstable Jan 29
• Processing of sexplib310_0.13.0-1_source.changes Jan 31
• Processing of ppx-variants-conv_0.13.0-1_amd64.changes Jan 28
• ocaml-dune_2.1.3-1_source.changes ACCEPTED into unstable Jan 27
• Processing of liquidsoap_1.4.1-1_source.changes Jan 22
• ppx-fields-conv_0.13.0-1_amd64.changes is NEW Jan 28
• Processing of lwt-ssl_1.1.3-1_amd64.changes Jan 20
• Processing of ppx-compare_0.13.0-1_amd64.changes Jan 27
• Processing of ocaml-mccs_1.1+11-1_source.changes Jan 30
• ocaml-fmt_0.8.8-1_amd64.changes ACCEPTED into unstable, unstable Jan 20
• Processing of obus_1.2.1-1_source.changes Jan 20
• Processing of ppx-optcomp_0.13.0-1_source.changes Jan 15
• Processing of reactivedata_0.2.2-1_source.changes Jan 16
• liquidsoap_1.4.1-1_source.changes ACCEPTED into unstable Jan 22
• ocaml-usb_1.3.1-3_source.changes ACCEPTED into unstable Jan 24
• Processing of react_1.2.1-1_source.changes Jan 15
• ocaml-mccs_1.1+11-1_source.changes ACCEPTED into unstable Jan 30
• Bug#948978: Removed package(s) from unstable Jan 17
• Processing of ocaml-usb_1.3.1-2_source.changes Jan 24
• Processing of ocaml-ipaddr_4.0.0-1_source.changes Jan 23
• ocaml-sedlex_2.1-4_source.changes ACCEPTED into unstable Jan 28
• Processing of ocaml-usb_1.3.1-3_source.changes Jan 24
• sexplib310_0.13.0-1_source.changes ACCEPTED into unstable Jan 31
• ocaml-usb_1.3.1-1_source.changes ACCEPTED into unstable Jan 23
• Processing of ocaml-usb_1.3.1-1_source.changes Jan 23
• Processing of coq_8.10.2-1_amd64.changes Jan 01
• Processing of ocsigenserver_2.16.0-1_source.changes Jan 24
• Processing of ocaml-migrate-parsetree_1.5.0-1_source.changes Jan 29
• Processing of ocaml-sqlite3_5.0.1-1_source.changes Jan 15
• ocaml-bitstring_3.1.1-1_source.changes ACCEPTED into unstable Jan 24
• Processing of ppxlib_0.12.0-1_source.changes Jan 13
• ocaml-stdio_0.13.0-1_source.changes ACCEPTED into unstable Jan 09
• Processing of ocsigenserver_2.16.0-2_source.changes Jan 24
• Processing of tyxml_4.3.0-1_source.changes Jan 29
• lwt-ssl_1.1.3-1_amd64.changes is NEW Jan 20
• ocsigenserver_2.16.0-2_source.changes ACCEPTED into unstable Jan 24

debian-bts-link

• [bts-link] source package src:mlpost Jan 30
• [bts-link] source package src:obus Jan 27
• [bts-link] source package coq Jan 06

Jessica Torres

• Prevencion Lavado de Dinero Jan 08

Johnny Verkuringen

• Ik vraag je om een gunst… Gelieve te lezen Jan 22
• Het tweede verborgen geheim Jan 29
• Heb jij de goudtest al gedaan? Grote crisis... Jan 03

Juhani Numminen

• Bug#949365: src:eliom: Build-Depends on NBS package liblwt-ssl-ocaml-dev Jan 20
• Bug#949364: src:ocsigenserver: Build-Depends on NBS package liblwt-ssl-ocaml-dev Jan 20

Julien Lepiller

• Bug#946580: No coqidetop in coq package breaks editor plugins Jan 15

Melik Yuksel

• Bug#948528: Package is 5 years out of date Jan 09

NOM-035-STPS

• Riesgos Psicosocial en el Trabajo Jan 06

Ralf Treinen

• Bug#949814: nmu: camlp5_7.10-1 Jan 25
• Bug#946580: No coqidetop in coq package breaks editor plugins Jan 16
• Bug#920589: CoqIDE supports GTK 3 Jan 02
• Accepted coq 8.9.1-4 (source) into unstable Jan 27
• Accepted coq 8.10.2-1 (source amd64) into experimental, experimental Jan 13
• Accepted coq 8.9.1-3 (source) into unstable Jan 24
• Bug#949810: ocaml-dune: please upgrade package to >= 2.0 Jan 25

Sarah, uw afdrukassistente.

• ✍ We starten een fantastisch 2020 - geen verzendingskosten! ✍ Jan 14

STPS NOM-036

• Riesgos Ergonomicos en el Trabajo Jan 22

[previous month]

[first page]

[previous page]

Page 1 of 1

[next page]

[last page]

[next month]

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