debian-ocaml-maint Jan 2016 by author

[previous page]

Page 1 of 1

[next page]

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

Sébastien Hinderer

Bug#803887: info ocaml fails Jan 04

Shérab

Bug#803887: info ocaml fails Jan 04

Stéphane Glondu

Bug#807019: tracking bin-num - broken unison due to binnmu upload Jan 04
Bug#809225: Nice way to solve bugs and segfaults Jan 12

Andreas Beckmann

Bug#813063: coq-doc: FTBFS in sid: File "kernel/univ.ml", line 229, characters 0-2: Error: This comment contains an unterminated string literal Jan 28

Andrew Chadwick

Bug#810553: unison: Please package Unison's fsmonitor.py Jan 09

Andrew Yong

Bug#812591: liquidsoap: segfaults immediately Jan 25
Bug#812591: liquidsoap: segfaults immediately Jan 25

Ashley Hooper

Bug#807019: unison2.40.102: Segmentation fault Jan 09
Bug#807019: unison2.40.102: Segmentation fault Jan 10

Balint Reczey

Bug#812786: dose3: Please add support for hardened1-linux-amd64 Jan 26

Brian May

Bug#807019: tracking bin-num - broken unison due to binnmu upload Jan 03

Chris Lamb

Bug#809999: pa-test: FTBFS: E: Cannot find findlib package herelib Jan 05

Christoph Berg

Bug#790422: Parsing.Parse_error Jan 23
Bug#790422: Parsing.Parse_error Jan 19
Bug#812202: dose-distcheck, dose-builddebcheck: --exclude option Jan 21
Bug#812203: dose-deb-coinstall mentioned as "dose-coinstall" in dose-extra description Jan 21
Bug#811569: More forgiving parser on bad input fields Jan 19
Bug#811248: Error in manpage: --arch should be --deb-native-arch Jan 17

Claudio Sacerdoti Coen

Bug#802264: src:matita: FTBFS with OCaml 4.02.3 Jan 25
Bug#802264: src:matita: FTBFS with OCaml 4.02.3 Jan 22

Debian Bug Tracking System

Processed: Re: Bug#812178: FTBFS: The implementation hExtlib.ml does not match the interface hExtlib.cmi Jan 25
Bug#802166: marked as done (otags: fails to install: post-installation script returned error exit status 3) Jan 16
Bug#809049: marked as done (dose3 FTBFS on mips and mipsel because of dot) Jan 03
Bug#802166: marked as done (otags: fails to install: post-installation script returned error exit status 3) Jan 05
Bug#724847: marked as done (facile: FTBFS with make 3.82) Jan 17
Bug#802055: marked as done (liquidsoap: currently FTBFS) Jan 11
Processed: severity of 802264 is important Jan 23
Processed: reopening 802166 Jan 05
Bug#809225: marked as done (Segfault when using unison 2.32.52 in sid (both text and gtk versions)) Jan 11
Bug#803887: marked as done (info ocaml fails) Jan 03
Bug#802860: marked as done (eliom: FTBFS: the new definition of Svg does not match its original definition in the constrained signature) Jan 22
Processed: Re: Bug#805456: unison: works well on my testing Jan 03
Processed: Re: Bug#805456: unison: works well on my testing Jan 03
Processed: severity of 790958 is normal, severity of 805844 is serious, severity of 807237 is serious ... Jan 11
Processed: tag Jan 30
Bug#805456: marked as done (unison: fails to recognize changes after upgrade of unison on both hosts) Jan 03
Bug#809999: marked as done (pa-test: FTBFS: E: Cannot find findlib package herelib) Jan 05
Processed: tagging 812786 Jan 26
Processed: tagging 812337, tagging 812178, tagging 812188, tagging 812085, tagging 811714 Jan 23
Bug#790422: marked as done (Parsing.Parse_error - improve error message) Jan 30
Bug#810513: marked as done (apt-cudf: SIGPIPE on 32-bit machine, causes experimental buildds to fail) Jan 09
Bug#805818: marked as done (ocamlgsl: Fails to build with GSL 2) Jan 17
Processed: liquidsoap: diff for NMU version 1.1.1-7.1 Jan 10
Processed: tagging 808491, found 808874 in 20151023, tagging 809130, found 733693 in 0.6.1-6, tagging 733693 ... Jan 08
Processed: liquidsoap: diff for NMU version 1.1.1-7.1 Jan 10
Processed: tagging 811569 Jan 22
Bug#812300: marked as done (FTBFS: The first variant type does not allow tag) Jan 31
Bug#807019: marked as done (unison2.40.102: Segmentation fault) Jan 11
Bug#786026: marked as done (liquidsoap: deprecation of python-support) Jan 11
Processed: bug 810513 is forwarded to dose development list Jan 09
Bug#786671: marked as done (dose3: support for versioned provides) Jan 07
Bug#743155: marked as done (libcore-ocaml: Cannot be installed under Sid) Jan 04
Processed: tagging 811569 Jan 29
Bug#802865: marked as done (nss-passwords: FTBFS: ocaml/caml/config.h: error: conflicting types for 'int64') Jan 05
Processed: tagging 811569 Jan 22
Bug#808628: marked as done (apron: FTBFS: ap_config.h: error: expected identifier or ‘(’ before ‘__extension__’) Jan 17
Processed: tagging 812658 ..., tagging 812658, tagging 812619, tagging 812644, tagging 812711, tagging 812620 ... Jan 29
Processed: reassign 802264 to camlp5 Jan 20
Processed: found 802166 in otags/4.01.1-3 Jan 05
Bug#718317: marked as done (apt-cudf: doesn't include any source preference in the Request stanza) Jan 29
Bug#770802: marked as done (dose-debcheck: now requires --deb-native-arch when used with -e -f) Jan 22
Processed: tag Jan 30
Bug#754303: marked as done (janest-core: New version available) Jan 04
Processed: found 811569 in 3.3~beta1-3 Jan 19
Processed: tagging 812337, tagging 812178, tagging 812188, tagging 812085, tagging 811714 Jan 23
Bug#731817: marked as done (janest-core: FTBFS with ocaml 4.01.0) Jan 04
Processed: Re: Bug#811248: Error in manpage: --arch should be --deb-native-arch Jan 19
Processed: notfound 805456 in unison/2.48.3-1 Jan 03
Processed: tag Jan 30
Bug#668751: marked as done (liquidsoap: unowned directory after purge: /usr/share/liquidsoap) Jan 11
Processed: bug 812202 is forwarded to https://gforge.inria.fr/tracker/index.php?func=detail&aid=19981&group_id=4395&atid=13809 Jan 22
Processed: liquidsoap: diff for NMU version 1.1.1-7.1 Jan 10

Debian buildds

failed s390x build of coq 8.5-1 Jan 26
failed ppc64el build of coq 8.5-1 Jan 26
failed mipsel build of coq 8.5-1 Jan 27
failed mips build of coq 8.5-1 Jan 27

Debian FTP Masters

dose3_4.0.2-4_amd64.changes ACCEPTED into unstable Jan 03
otags_4.02.2-1_amd64.changes ACCEPTED into unstable Jan 16
camlp5_6.14-2_amd64.changes ACCEPTED into unstable Jan 25
Processing of camlp5_6.14-2_amd64.changes Jan 25
frama-c_20151002+magnesium+dfsg-1_amd64.changes ACCEPTED into unstable Jan 24
Processing of yojson_1.3.0-1_amd64.changes Jan 27
dose3_4.1-2_amd64.changes ACCEPTED into unstable Jan 07
variantslib_109.15.03-2_source.changes ACCEPTED into unstable Jan 05
coq_8.5-1_amd64.changes ACCEPTED into unstable Jan 26
ocaml-re2_113.00.00+dfsg-1_amd64.changes is NEW Jan 22
Processing of ocaml-re2_113.00.00+dfsg-1_amd64.changes Jan 22
Processing of otags_4.01.1-3_amd64.changes Jan 05
ocaml-ipaddr_2.6.1-1_amd64.changes ACCEPTED into unstable Jan 17
Processing of zed_1.4-1_amd64.changes Jan 06
Processing of menhir_20151112.dfsg-1_amd64.changes Jan 17
Processing of atdgen_1.7.2-1_amd64.changes Jan 28
facile_1.1.1-1_amd64.changes ACCEPTED into unstable Jan 17
Processing of typerep_113.00.00-1_source.changes Jan 05
eliom_4.2-1_amd64.changes ACCEPTED into unstable Jan 22
Processing of pa-structural-sexp_113.00.00-1_amd64.changes Jan 04
Processing of pipebang_113.00.00-1_source.changes Jan 03
custom-printf_113.00.00-1_amd64.changes ACCEPTED into unstable, unstable Jan 13
bin-prot_113.00.00-1_source.changes ACCEPTED into unstable Jan 02
Processing of ocp-indent_1.5.2-1_source.changes Jan 31
typerep_113.00.00-1_source.changes ACCEPTED into unstable Jan 05
Processing of ocaml-ssl_0.5.2-1_amd64.changes Jan 17
custom-printf_113.00.00-1_source.changes REJECTED Jan 04
Processing of dose3_4.1-1_amd64.changes Jan 07
meta-unison_2.48+2_amd64.changes ACCEPTED into unstable Jan 07
Processing of pa-structural-sexp_113.00.00-1_source.changes Jan 04
yojson_1.3.0-1_amd64.changes ACCEPTED into unstable Jan 27
Processing of ocaml-zarith_1.4.1-1_amd64.changes Jan 26
ocaml-re2_113.00.00+dfsg-1_amd64.changes ACCEPTED into unstable, unstable Jan 22
parmap_1.0~rc7-1_amd64.changes ACCEPTED into unstable Jan 18
ocp-indent_1.5.2-1_source.changes ACCEPTED into unstable Jan 31
Processing of ocaml-csv_1.4.2-1_amd64.changes Jan 26
herelib_112.35.00-1_source.changes ACCEPTED into unstable Jan 04
Processing of bin-prot_113.00.00-1_source.changes Jan 02
Processing of coq_8.5-1_amd64.changes Jan 26
Bug#810270: Removed package(s) from unstable Jan 11
ocaml-zarith_1.4.1-1_amd64.changes ACCEPTED into unstable Jan 26
dose3_4.1-1_amd64.changes ACCEPTED into unstable Jan 07
Processing of liquidsoap_1.1.1-7.1_source.changes Jan 10
pa-structural-sexp_113.00.00-1_source.changes REJECTED Jan 04
ocaml-textutils_112.17.00-1_amd64.changes ACCEPTED into unstable, unstable Jan 22
type-conv_113.00.02-1_source.changes ACCEPTED into unstable Jan 01
Processing of apron_0.9.10-7_amd64.changes Jan 17
pgocaml_2.2-1_amd64.changes ACCEPTED into unstable Jan 17
Processing of ocamlgsl_1.19.1-1_amd64.changes Jan 17
ocamlgsl_1.19.1-1_amd64.changes ACCEPTED into unstable Jan 17
pa-ounit_113.00.00-1_source.changes ACCEPTED into unstable Jan 03
Processing of janest-core-extended_113.00.00-2_amd64.changes Jan 31
Processing of dose3_4.1-2_amd64.changes Jan 07
custom-printf_113.00.00-1_amd64.changes is NEW Jan 04
ocaml-textutils_112.17.00-1_amd64.changes is NEW Jan 07
zed_1.4-1_amd64.changes is NEW Jan 06
Bug#810531: Removed package(s) from unstable Jan 11
Processing of herelib_112.35.00-1_source.changes Jan 04
ocaml-doc_4.02-2_amd64.changes ACCEPTED into unstable Jan 03
Processing of ocaml-ipaddr_2.6.1-1_amd64.changes Jan 17
Processing of pa-bench_113.00.00-1_source.changes Jan 04
comparelib_113.00.00-1_source.changes ACCEPTED into unstable Jan 03
Processing of dose3_4.0.2-4_amd64.changes Jan 03
Processing of frama-c_20151002+magnesium+dfsg-1_amd64.changes Jan 24
Processing of coq_8.5-2_amd64.changes Jan 28
sexplib310_113.00.00-1_source.changes ACCEPTED into unstable Jan 04
pipebang_113.00.00-1_source.changes ACCEPTED into unstable Jan 03
janest-core-extended_113.00.00-2_amd64.changes is NEW Jan 31
Processing of janest-core-kernel_113.00.00-2_source.changes Jan 05
Processing of comparelib_113.00.00-1_source.changes Jan 03
pa-test_112.24.00-2_source.changes ACCEPTED into unstable Jan 05
Processing of nss-passwords_0.2-2_amd64.changes Jan 05
ocp-indent_1.5.2-2_source.changes ACCEPTED into unstable Jan 31
Bug#810531: Removed package(s) from unstable Jan 11
Processing of janest-core-kernel_113.00.00-3_amd64.changes Jan 31
Processing of eliom_4.2-2_amd64.changes Jan 26
Processing of cppo_1.3.1-1_amd64.changes Jan 26
fieldslib_113.00.00-1_source.changes ACCEPTED into unstable Jan 03
menhir_20151112.dfsg-1_amd64.changes ACCEPTED into unstable Jan 17
pa-structural-sexp_113.00.00-1_amd64.changes ACCEPTED into unstable, unstable Jan 13
lambda-term_1.9-1_amd64.changes is NEW Jan 06
janest-core-extended_113.00.00-1_amd64.changes is NEW Jan 07
coq_8.5-2_amd64.changes ACCEPTED into unstable Jan 28
otags_4.01.1-3_amd64.changes ACCEPTED into unstable Jan 05
janest-core_113.00.00-1_source.changes ACCEPTED into unstable Jan 05
janest-core-kernel_113.00.00-2_source.changes REJECTED Jan 05
dose3_4.1-3_amd64.changes ACCEPTED into unstable Jan 09
cppo_1.3.1-1_amd64.changes ACCEPTED into unstable Jan 26
Processing of variantslib_109.15.03-2_source.changes Jan 05
Processing of janest-core-kernel_113.00.00-2_amd64.changes Jan 05
pa-test_112.24.00-1_source.changes ACCEPTED into unstable Jan 04
Processing of fieldslib_113.00.00-1_source.changes Jan 03
Processing of cmdliner_0.9.8-1_amd64.changes Jan 17
Processing of parmap_1.0~rc7-1_amd64.changes Jan 18
Processing of facile_1.1.1-1_amd64.changes Jan 17
utop_1.18.1-1_amd64.changes is NEW Jan 06
pa-bench_113.00.00-1_source.changes ACCEPTED into unstable Jan 04
Processing of pa-test_112.24.00-1_source.changes Jan 04
atdgen_1.7.2-1_amd64.changes ACCEPTED into unstable Jan 28
eliom_4.2-2_amd64.changes ACCEPTED into unstable Jan 26
Processing of meta-unison_2.48+2_amd64.changes Jan 07
Processing of pa-ounit_113.00.00-1_source.changes Jan 03
Processing of ocaml-re2_113.00.00-1_amd64.changes Jan 07
janest-core-kernel_113.00.00-1_amd64.changes is NEW Jan 04
Processing of type-conv_113.00.02-1_source.changes Jan 01
Processing of enumerate_111.08.00-2_source.changes Jan 05
Processing of janest-core_113.00.00-1_source.changes Jan 04
ocaml-extunix_0.1.3-1_amd64.changes ACCEPTED into unstable Jan 18
easy-format_1.2.0-1_amd64.changes ACCEPTED into unstable Jan 26
liquidsoap_1.1.1-7.1_source.changes ACCEPTED into unstable Jan 11
Bug#810270: Removed package(s) from unstable Jan 11
enumerate_111.08.00-2_source.changes ACCEPTED into unstable Jan 05
Processing of lambda-term_1.9-1_amd64.changes Jan 06
Processing of easy-format_1.2.0-1_amd64.changes Jan 26
Processing of pa-test_112.24.00-2_source.changes Jan 05
Processing of janest-core-extended_113.00.00-1_amd64.changes Jan 07
Processing of ocaml-doc_4.02-2_amd64.changes Jan 03
Processing of utop_1.18.1-1_amd64.changes Jan 06
Processing of otags_4.02.2-1_amd64.changes Jan 16
Processing of ocaml-textutils_112.17.00-1_amd64.changes Jan 07
zed_1.4-1_amd64.changes ACCEPTED into unstable, unstable Jan 19
Processing of dose3_4.1-3_amd64.changes Jan 09
nss-passwords_0.2-2_amd64.changes ACCEPTED into unstable Jan 05
ocaml-ssl_0.5.2-1_amd64.changes ACCEPTED into unstable Jan 17
cmdliner_0.9.8-1_amd64.changes ACCEPTED into unstable Jan 18
Processing of eliom_4.2-1_amd64.changes Jan 22
Processing of custom-printf_113.00.00-1_source.changes Jan 04
Processing of pgocaml_2.2-1_amd64.changes Jan 17
Processing of janest-core-kernel_113.00.00-1_amd64.changes Jan 04
janest-core-kernel_113.00.00-3_amd64.changes is NEW Jan 31
ocaml-csv_1.4.2-1_amd64.changes ACCEPTED into unstable Jan 26
Processing of ocaml-extunix_0.1.3-1_amd64.changes Jan 18
pa-structural-sexp_113.00.00-1_amd64.changes is NEW Jan 04
janest-core-kernel_113.00.00-2_amd64.changes is NEW Jan 05
Processing of ocp-indent_1.5.2-2_source.changes Jan 31
apron_0.9.10-7_amd64.changes ACCEPTED into unstable Jan 17
Processing of sexplib310_113.00.00-1_source.changes Jan 04
Processing of custom-printf_113.00.00-1_amd64.changes Jan 04
ocaml-re2_113.00.00-1_amd64.changes is NEW Jan 07

Debian testing autoremoval watch

ssreflect is marked for autoremoval from testing Jan 22
unison2.32.52 is marked for autoremoval from testing Jan 05
prooftree is marked for autoremoval from testing Jan 22
obus is marked for autoremoval from testing Jan 03
ulex0.8 is marked for autoremoval from testing Jan 22
aac-tactics is marked for autoremoval from testing Jan 22
why is marked for autoremoval from testing Jan 22
coq-doc is marked for autoremoval from testing Jan 22
reactivedata is marked for autoremoval from testing Jan 03
lwt is marked for autoremoval from testing Jan 03
dose3 is marked for autoremoval from testing Jan 03
js-of-ocaml is marked for autoremoval from testing Jan 03
ocp-indent is marked for autoremoval from testing Jan 30
ocaml-usb is marked for autoremoval from testing Jan 03
ledit is marked for autoremoval from testing Jan 22
nss-passwords is marked for autoremoval from testing Jan 04
ocaml-sqlexpr is marked for autoremoval from testing Jan 03
coinst is marked for autoremoval from testing Jan 03
coq is marked for autoremoval from testing Jan 22
camlp5 is marked for autoremoval from testing Jan 22
ocsigenserver is marked for autoremoval from testing Jan 03
meta-unison is marked for autoremoval from testing Jan 07
mathcomp is marked for autoremoval from testing Jan 22
ocamlgsl is marked for autoremoval from testing Jan 12
hol-light is marked for autoremoval from testing Jan 22
unison2.40.102 is marked for autoremoval from testing Jan 03
nproc is marked for autoremoval from testing Jan 03
opam is marked for autoremoval from testing Jan 03
coq-float is marked for autoremoval from testing Jan 22
react is marked for autoremoval from testing Jan 03

Enrico Tassi

Bug#802264: src:matita: FTBFS with OCaml 4.02.3 Jan 20
Accepted coq 8.5-1 (source amd64) into unstable Jan 26
Accepted coq 8.5-2 (source amd64) into unstable Jan 28

Enrico Zini

Bug#810212: segfaults when using as unison-2.40 to sync with a jessie system Jan 08
Bug#810212: segfaults when using as unison-2.40 to sync with a jessie system Jan 07

gpe92

Bug#805456: unison: works well on my testing Jan 03

Helmut Grohne

Bug#810303: dose-builddebcheck output breaks backwards compatibility in 4.1 dropping the "src:" prefix, worth NEWS? Jan 08

Hilko Bengen

Bug#812634: janest-core: FTBFS - build-depends on non-existent libcore-kernel-ocaml-dev Jan 26
Bug#810262: ITP: ocaml-re2 -- OCaml bindings for re2 Jan 07

Johannes Schauer

Bug#812300: FTBFS: The first variant type does not allow tag Jan 26

Julian Andres Klode

Koffiemachine

Verwarm de sfeer van uw bedrijf met een smakelijke kopje koffie Jan 12

Martin Michlmayr

Bug#812300: FTBFS: The first variant type does not allow tag Jan 22

Mattia Rizzolo

Bug#668751: liquidsoap: diff for NMU version 1.1.1-7.1 Jan 10

Mehdi Dogguy

Bug#812178: FTBFS: The implementation hExtlib.ml does not match the interface hExtlib.cmi Jan 21
Bug#810213: Ben: Use https instead of http for external links Jan 07
Bug#811248: Error in manpage: --arch should be --deb-native-arch Jan 19
Bug#802264: src:matita: FTBFS with OCaml 4.02.3 Jan 25
Bug#790422: Parsing.Parse_error Jan 20
Bug#812178: FTBFS: The implementation hExtlib.ml does not match the interface hExtlib.cmi Jan 25
Bug#810270: RM: unison2.40.102 -- ROM; Broken (#807019) Jan 07
Bug#807019: tracking bin-num - broken unison due to binnmu upload Jan 04
Bug#803887: info ocaml fails Jan 03
Bug#810212: segfaults when using as unison-2.40 to sync with a jessie system Jan 08
Bug#810303: dose-builddebcheck output breaks backwards compatibility in 4.1 dropping the "src:" prefix, worth NEWS? Jan 20
Bug#810531: RM: unison2.32.52 -- ROM; Broken (#809225) Jan 09
Bug#810212: segfaults when using as unison-2.40 to sync with a jessie system Jan 07
Bug#810303: dose-builddebcheck output breaks backwards compatibility in 4.1 dropping the "src:" prefix, worth NEWS? Jan 19
Bug#807019: unison2.40.102: Segmentation fault Jan 09
Bug#790422: Parsing.Parse_error Jan 21
Bug#802264: src:matita: FTBFS with OCaml 4.02.3 Jan 20
Bug#810303: dose-builddebcheck output breaks backwards compatibility in 4.1 dropping the "src:" prefix, worth NEWS? Jan 19
Bug#807019: unison2.40.102: Segmentation fault Jan 10
Bug#809225: Nice way to solve bugs and segfaults Jan 11
Bug#805456: unison: works well on my testing Jan 03

Michael Tautschnig

Bug#812711: nurpawiki: FTBFS - argument cannot be applied without label Jan 26
Bug#812634: janest-core: FTBFS - build-depends on non-existent libcore-kernel-ocaml-dev Jan 25

Nathael Pajani

Bug#809225: Nice way to solve bugs and segfaults Jan 11
Bug#809225: Nice way to solve bugs and segfaults Jan 12

Paul Wise

OCaml code checker? Jan 14

Pietro Abate

Ralf Treinen

Bug#812786: dose3: Please add support for hardened1-linux-amd64 Jan 26
Bug#812202: dose-distcheck, dose-builddebcheck: --exclude option Jan 22

Romain Beauxis

Bug#802055: camlp4 Jan 07

Thorsten Alteholz

janest-core-kernel_113.00.00-1_amd64.changes REJECTED Jan 30
janest-core-extended_113.00.00-1_amd64.changes REJECTED Jan 30
janest-core-kernel_113.00.00-2_amd64.changes REJECTED Jan 30
ocaml-re2_113.00.00-1_amd64.changes REJECTED Jan 22

Vincent Lefevre

Bug#807019: tracking bin-num - broken unison due to binnmu upload Jan 06

The last update was on 07:03 GMT Wed May 29. There are 298 messages. Page 1 of 1.

[previous month]

[previous page]

Page 1 of 1

[next page]

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

Mail converted by MHonArc