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