debian-ocaml-maint Feb 2016 by thread
[Date Index]
[Subject Index]
[Author Index]
[Other Debian Lists]
[Debian Home]
- janest-core-extended_113.00.00-2_amd64.changes ACCEPTED into unstable, unstable Debian FTP Masters
- janest-core-kernel_113.00.00-3_amd64.changes ACCEPTED into unstable, unstable Debian FTP Masters
- Bug#813439: libcore-ocaml-dev: undeclared dependency on libcustom-printf-camlp4-dev Aaron M. Ucko
- Bug#813459: aac-tactics: FTBFS: Error: The constructor vcons (in type vT) expects 2 arguments. Chris Lamb
- Bug#813463: janest-core-extended: FTBFS: E: Failure("Command ''/usr/bin/ocamlbuild' src/libcore_extended_stubs.a src/dllcore_extended_stubs.so src/core_extended.cma src/core_extended.cmxa src/core_extended.a src/core_extended.cmxs selector/src/selector_lib.cma selector/src/selector_lib.cmxa selector/src/selector_lib.a selector/src/selector_lib.cmxs -use-ocamlfind -tag debug' terminated with error code 10") Chris Lamb
- Meer welzijn in uw bedrijf Binnenplanten
- lambda-term_1.9-1_amd64.changes ACCEPTED into unstable, unstable Debian FTP Masters
- utop_1.18.1-1_amd64.changes ACCEPTED into unstable, unstable Debian FTP Masters
- Bug#813526: Fails with Fatal error: exception Not_found Stéphane Glondu
- Bug#812634: marked as done (janest-core: FTBFS - build-depends on non-existent libcore-kernel-ocaml-dev) Debian Bug Tracking System
- Bug#813538: please speed up checking multiple build profiles Helmut Grohne
- Processing of janest-core_113.00.00-2_source.changes Debian FTP Masters
- janest-core_113.00.00-2_source.changes ACCEPTED into unstable Debian FTP Masters
- Processed: your mail Debian Bug Tracking System
- Bug#813560: utop: FTBFS: Package `cppo_ocamlbuild' not found Aaron M. Ucko
- Bug#813596: coq-float: FTBFS: make[2]: *** No rule to make target 'depend'. Stop. Chris Lamb
- Processing of janest-core_113.00.00-3_amd64.changes Debian FTP Masters
- janest-core_113.00.00-3_amd64.changes ACCEPTED into unstable Debian FTP Masters
- Processing of ocaml-textutils_112.17.00-2_source.changes Debian FTP Masters
- ocaml-textutils_112.17.00-2_source.changes ACCEPTED into unstable Debian FTP Masters
- Bug#813693: ocaml-textutils: FTBFS: ocamlfind: Package `enumerate' not found - required by `core' Chris Lamb
- Processing of janest-core_113.00.00-4_source.changes Debian FTP Masters
- janest-core_113.00.00-4_source.changes ACCEPTED into unstable Debian FTP Masters
- Bug#813820: ssreflect: FTBFS: Error: Unbound type constructor glob_constr_and_expr Chris Lamb
- Bug#813588: Removed package(s) from unstable Debian FTP Masters
- Processing of ocaml-textutils_112.17.00-3_source.changes Debian FTP Masters
- ocaml-textutils_112.17.00-3_source.changes ACCEPTED into unstable Debian FTP Masters
- Bug#813885: cppo: Missing native libraries Hilko Bengen
- Bug#812711: marked as done (nurpawiki: FTBFS - argument cannot be applied without label) Debian Bug Tracking System
- Processing of nurpawiki_1.2.3-9_amd64.changes Debian FTP Masters
- nurpawiki_1.2.3-9_amd64.changes ACCEPTED into unstable Debian FTP Masters
- Processing of dose3_4.1-4_amd64.changes Debian FTP Masters
- Bug#810303: marked as done (dose-builddebcheck output breaks backwards compatibility in 4.1 dropping the "src:" prefix, worth NEWS?) Debian Bug Tracking System
- Bug#811569: marked as done (More forgiving parser on bad input fields) Debian Bug Tracking System
- Bug#812203: marked as done (dose-deb-coinstall mentioned as "dose-coinstall" in dose-extra description) Debian Bug Tracking System
- Bug#812786: marked as done (dose3: Please add support for hardened1-linux-amd64) Debian Bug Tracking System
- dose3_4.1-4_amd64.changes ACCEPTED into unstable Debian FTP Masters
- Bug#812786: fixed in dose3 4.1-4 Balint Reczey
- Processed: tagging 812786 Debian Bug Tracking System
- Processing of ocaml-re2_113.00.00+dfsg-2_source.changes Debian FTP Masters
- ocaml-re2_113.00.00+dfsg-2_source.changes ACCEPTED into unstable Debian FTP Masters
- coq-float is marked for autoremoval from testing Debian testing autoremoval watch
- coq-doc is marked for autoremoval from testing Debian testing autoremoval watch
- aac-tactics is marked for autoremoval from testing Debian testing autoremoval watch
- why is marked for autoremoval from testing Debian testing autoremoval watch
- Processing of coq-doc_8.4pl4-2_amd64.changes Debian FTP Masters
- Bug#813063: marked as done (coq-doc: FTBFS in sid: File "kernel/univ.ml", line 229, characters 0-2: Error: This comment contains an unterminated string literal) Debian Bug Tracking System
- coq-doc_8.4pl4-2_amd64.changes ACCEPTED into unstable Debian FTP Masters
- Processing of cppo_1.3.1-2_source.changes Debian FTP Masters
- cppo_1.3.1-2_source.changes ACCEPTED into unstable Debian FTP Masters
- Bug#736910: marked as done (comigrate: lease allow the use of a different mirror) Debian Bug Tracking System
- Bug#759474: marked as done (coinst: no newline before LARGER NON-INSTALLABLE SETS) Debian Bug Tracking System
- Bug#759476: marked as done (coinst: ambiguous output if package has multiple versions) Debian Bug Tracking System
- Processing of coinst_1.9.2-1_amd64.changes Debian FTP Masters
- coinst_1.9.2-1_amd64.changes ACCEPTED into unstable Debian FTP Masters
- Processing of ocaml-ctypes_0.4.1-2_amd64.changes Debian FTP Masters
- ocaml-ctypes_0.4.1-2_amd64.changes ACCEPTED into unstable Debian FTP Masters
- Processing of utop_1.18.1-2_source.changes Debian FTP Masters
- utop_1.18.1-2_source.changes ACCEPTED into unstable Debian FTP Masters
- Processing of zed_1.4-2_source.changes Debian FTP Masters
- zed_1.4-2_source.changes ACCEPTED into unstable Debian FTP Masters
- Processing of lambda-term_1.9-2_source.changes Debian FTP Masters
- lambda-term_1.9-2_source.changes ACCEPTED into unstable Debian FTP Masters
- mathcomp is marked for autoremoval from testing Debian testing autoremoval watch
- ssreflect is marked for autoremoval from testing Debian testing autoremoval watch
- Processing of lambda-term_1.9-3_source.changes Debian FTP Masters
- lambda-term_1.9-3_source.changes ACCEPTED into unstable Debian FTP Masters
- Processing of coinst_1.9.3-1_amd64.changes Debian FTP Masters
- coinst_1.9.3-1_amd64.changes ACCEPTED into unstable Debian FTP Masters
- Processing of lambda-term_1.9-4_source.changes Debian FTP Masters
- lambda-term_1.9-4_source.changes ACCEPTED into unstable Debian FTP Masters
- Bug#773409: updated patch Adam Borowski
- Processing of utop_1.18.1-3_source.changes Debian FTP Masters
- utop_1.18.1-3_source.changes ACCEPTED into unstable Debian FTP Masters
- Processing of utop_1.18.1-4_source.changes Debian FTP Masters
- utop_1.18.1-4_source.changes ACCEPTED into unstable Debian FTP Masters
- Verzacht uw kraantjeswater Waterverzachter
- Processing of ocaml_4.02.3-6_amd64.changes Debian FTP Masters
- ocaml_4.02.3-6_amd64.changes ACCEPTED into unstable Debian FTP Masters
- Bug#773409: marked as done (src:ocaml: Please add support for the x32 architecture) Debian Bug Tracking System
- Processed: fixed 805432 in 1.0-4, tagging 655801, reassign 799840 to src:samba, fixed 799840 in 2:4.3.1+dfsg-1 ... Debian Bug Tracking System
- Bug#815314: ocamlnet: FTBFS on kfreebsd-i386: cp: cannot stat 'debian/tmp//usr/lib/ocaml/netcamlbox': No such file or directory Andreas Beckmann
- Bug#815315: ben: FTBFS on mips, mipsel: dot: emit.c:3874: bezier_bb: Assertion `bz.size % 3 == 1' failed. Andreas Beckmann
- Bug#815493: opam: FTBFS on hurd-i386: test failures Andreas Beckmann
- Bug#815577: libcurl-ocaml: ocurl package is very out of date and lacks Lwt support Thomas Leonard
- Bug#815684: why can't be built from source Matthias Klose
- Processed: block 815684 with 813596 Debian Bug Tracking System
- Processed: tagging 815684 Debian Bug Tracking System
- Processed: found 815567 in 2.8.0-4, found 815746 in 4:4.14.0-3, notfound 815684 in 2.24-3 ..., tagging 815685 ... Debian Bug Tracking System
- Bug#816102: libcamlimages-ocaml-dev: Please depend on libpng-dev instead of libpng12-dev Tobias Frost
- Processed: block 650601 with 816102 816103 816114 816115 816116 Debian Bug Tracking System
- ben is marked for autoremoval from testing Debian testing autoremoval watch
The last update was on 20:58 GMT Tue Jun 04. There are 108 messages. Page 1 of 1.
[Date Index]
[Subject Index]
[Author Index]
[Other Debian Lists]
[Debian Home]
Mail converted by MHonArc