debian-ocaml-maint Jan 2019 by thread
[Date Index]
[Subject Index]
[Author Index]
[Other Debian Lists]
[Debian Home]
Processed: Re: Bug#918247 closed by Kyle Robbertze <krobbertze@gmail.com> (Bug#918247: fixed in camlimages 1:4.2.6-2) Debian Bug Tracking System
Processed: Bug #918247 in camlimages marked as pending Debian Bug Tracking System
Bug#918247: marked as done (camlimages FTBFS on ocaml bytecode architectures) Debian Bug Tracking System
[Git][ocaml-team/camlimages] Pushed new tag debian/1%4.2.6-2 Kyle Robbertze
Processing of camlimages_4.2.6-2_amd64.changes Debian FTP Masters
camlimages_4.2.6-2_amd64.changes ACCEPTED into unstable Debian FTP Masters
Bug#829215: opam: FTBFS on hurd ("lockf" failed: Operation not supported) Samuel Thibault
Bug#918345: opam: Can't be installed on hurd-i386 Samuel Thibault
ocaml-atd is marked for autoremoval from testing Debian testing autoremoval watch
nss-passwords is marked for autoremoval from testing Debian testing autoremoval watch
belenios is marked for autoremoval from testing Debian testing autoremoval watch
Bug#917733: ocaml-atd: FTBFS: dh_install: missing files, aborting Johannes Schauer
[Git][ocaml-team/coccinelle][pristine-tar] pristine-tar data for coccinelle_1.0.7.deb.orig.tar.gz Eugeniy Meshcheryakov
[Git][ocaml-team/coccinelle][upstream] New upstream version 1.0.7.deb Eugeniy Meshcheryakov
[Git][ocaml-team/coccinelle][master] 10 commits: Update debian/repack.sh Eugeniy Meshcheryakov
[Git][ocaml-team/coccinelle] Pushed new tag upstream/1.0.7.deb Eugeniy Meshcheryakov
Processed: Bug #917490 in coccinelle marked as pending Debian Bug Tracking System
[Git][ocaml-team/coccinelle] Pushed new branch 1.0.4-updates Eugeniy Meshcheryakov
Bug#917490: marked as done (coccinelle: FTBFS (LaTeX Error: Option clash for package color)) Debian Bug Tracking System
[Git][ocaml-team/coccinelle] Pushed new tag debian/1.0.4.deb-4 Eugeniy Meshcheryakov
Processing of coccinelle_1.0.4.deb-4_source.changes Debian FTP Masters
coccinelle_1.0.4.deb-4_source.changes ACCEPTED into unstable Debian FTP Masters
[Git][ocaml-team/coccinelle] Pushed new tag debian/1.0.7.deb-1 Eugeniy Meshcheryakov
Processing of coccinelle_1.0.7.deb-1_source.changes Debian FTP Masters
coccinelle_1.0.7.deb-1_source.changes ACCEPTED into experimental Debian FTP Masters
Accepted coq 8.8.2-1 (source amd64) into unstable Benjamin Barenblat
Bug#910840: marked as done (coq: upgrade to new upstream version 8.6.1+) Debian Bug Tracking System
Bug#902903: marked as done (coq: please update d/watch to reflect migration of downloads to GitHub) Debian Bug Tracking System
Bug#916369: marked as done (libcoq-ocaml depends and build-depends on cruft packages.) Debian Bug Tracking System
Processing of coq_8.8.2-1_amd64.changes Debian FTP Masters
coq_8.8.2-1_amd64.changes ACCEPTED into unstable Debian FTP Masters
failed armel build of coq 8.8.2-1 Debian buildds
failed mipsel build of coq 8.8.2-1 Debian buildds
failed mips build of coq 8.8.2-1 Debian buildds
Bug#918562: camomile FTBFS on ocaml bytecode architectures: Fatal error: exception Stack overflow Adrian Bunk
Bug#918563: camomile FTBFS on ppc64{,el}: camomilelocaledef got signal SEGV Adrian Bunk
Bug#916468: dune: /usr/bin/dune is already provided by the whitedune package Stéphane Glondu
Processing of ppx-deriving_4.2.1-3_source.changes Debian FTP Masters
ppx-deriving_4.2.1-3_source.changes ACCEPTED into unstable Debian FTP Masters
[Git][ocaml-team/ppx-deriving] Pushed new tag debian/4.2.1-3 Ralf Treinen
Bug#918633: why3-coq: package should Depend on a specific Coq version Benjamin Barenblat
failed mips64el build of coq 8.8.2-1 Debian buildds
Processing of ppx-deriving-yojson_3.1-4_source.changes Debian FTP Masters
ppx-deriving-yojson_3.1-4_source.changes ACCEPTED into unstable Debian FTP Masters
[Git][ocaml-team/ppx-deriving-yojson] Pushed new tag debian/3.1-4 Ralf Treinen
Bug#917704: marked as done (ppx-deriving-yojson: FTBFS: build-dependency not installable: libppx-deriving-ocaml-dev (>= 4.0)) Debian Bug Tracking System
Bug#917697: marked as done (ocaml-visitors: FTBFS: build-dependency not installable: libppx-deriving-ocaml-dev (>= 4.0)) Debian Bug Tracking System
Processing of ocaml-visitors_20180306-4_source.changes Debian FTP Masters
ocaml-visitors_20180306-4_source.changes ACCEPTED into unstable Debian FTP Masters
[Git][ocaml-team/ocaml-visitors] Pushed new tag debian/20180306-4 Ralf Treinen
Bug#918769: ocaml-migrate-parsetree FTBFS:dh_install fails Ralf Treinen
Bug#918770: ocaml-migrate-parsetree: build-dep on opam-installer Ralf Treinen
Processed: Bug #917733 in ocaml-atd marked as pending Debian Bug Tracking System
[Git][ocaml-team/ocaml-atd] Pushed new tag debian/2.0.0-3 Stéphane Glondu
Processing of ocaml-atd_2.0.0-3_amd64.changes Debian FTP Masters
Bug#917733: marked as done (ocaml-atd: FTBFS: dh_install: missing files, aborting) Debian Bug Tracking System
ocaml-atd_2.0.0-3_amd64.changes ACCEPTED into unstable Debian FTP Masters
Processing of bin-prot_113.33.03-4_source.changes Debian FTP Masters
Processing of morbig_0.9.1-2_source.changes Debian FTP Masters
bin-prot_113.33.03-4_source.changes ACCEPTED into unstable Debian FTP Masters
morbig_0.9.1-2_source.changes ACCEPTED into unstable Debian FTP Masters
[Git][ocaml-team/morbig] Pushed new tag debian/0.9.1-2 Ralf Treinen
[Git][ocaml-team/bin-prot] Pushed new tag debian/113.33.03-4 Ralf Treinen
Bug#917701: marked as done (morbig: FTBFS: unsatisfiable build-dependencies: libppx-deriving-yojson-ocaml-dev, libppx-visitors-ocaml-dev) Debian Bug Tracking System
coq 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
ssreflect is marked for autoremoval from testing Debian testing autoremoval watch
Processed: tag Debian Bug Tracking System
[Git][ocaml-team/belenios][master] 5 commits: Update debian/watch Stéphane Glondu
[Git][ocaml-team/belenios] Pushed new tag debian/1.7.1+dfsg-1 Stéphane Glondu
[Git][ocaml-team/belenios] Pushed new tag upstream/1.7.1+dfsg Stéphane Glondu
Processing of belenios_1.7.1+dfsg-1_amd64.changes Debian FTP Masters
belenios_1.7.1+dfsg-1_amd64.changes ACCEPTED into unstable Debian FTP Masters
[Git][ocaml-team/coq][master] 27 commits: Imported Upstream version 8.6 Benjamin Barenblat
[Git][ocaml-team/coq][pristine-tar] pristine-tar data for coq_8.8.2.orig.tar.gz Benjamin Barenblat
[Git][ocaml-team/coq][upstream] Imported Upstream version 8.8.2 Benjamin Barenblat
[Git][ocaml-team/coq] Pushed new tag debian/8.8.2-1 Benjamin Barenblat
[Git][ocaml-team/coq] Pushed new tag upstream/8.8.2 Benjamin Barenblat
Processing of why3_1.1.1-2_source.changes Debian FTP Masters
why3_1.1.1-2_source.changes ACCEPTED into unstable Debian FTP Masters
Processed: severity of 918769 is important Debian Bug Tracking System
why3 is marked for autoremoval from testing Debian testing autoremoval watch
Bug#919461: ssreflect ftbfs in unstable Matthias Klose
Bug#919462: coq ftbfs on some release architectures Matthias Klose
Bug#919463: aac-tactics ftbfs in unstable Matthias Klose
Bug#919472: camomile ftbfs on ppc64el Matthias Klose
Processed: Merge bugs Debian Bug Tracking System
apron is marked for autoremoval from testing Debian testing autoremoval watch
Processed: Re: whitedune: diff for NMU version 0.30.10-2.2 Debian Bug Tracking System
Bug#919658: ocaml-gettext ftbfs (comomile module not found) Matthias Klose
Re: camomile / ocaml-gettext bootstrap? Stéphane Glondu
Processed: Bug #919622 in jbuilder marked as pending Debian Bug Tracking System
[Git][ocaml-team/jbuilder] Pushed new tag debian/1.6.2-2 Stéphane Glondu
Processing of dune_1.6.2-2_amd64.changes Debian FTP Masters
Bug#919622: marked as done (dune: needs Breaks+Replaces: whitedune (<< 0.30.10-2.2)) Debian Bug Tracking System
dune_1.6.2-2_amd64.changes ACCEPTED into unstable Debian FTP Masters
Bug#919837: libcamomile-ocaml-dev: broken symlinks: /usr/share/man/man1/camomile*.{byte,opt}.1.gz -> camomile*.1.gz Andreas Beckmann
Bug#759130: Urgent translation update for camlidl Helge Kreutzmann
Bug#863533: Urgent translation update for camlidl Helge Kreutzmann
- Message not available
- Message not available
Bug#759130: marked as done (camlidl: [INTL:pt] Updated Portuguese translation of manpage) Debian Bug Tracking System
Bug#863533: marked as done (camlidl: [INTL:de] Initial German po4a translation) Debian Bug Tracking System
Processing of camlidl_1.05-15.1_source.changes Debian FTP Masters
camlidl_1.05-15.1_source.changes ACCEPTED into unstable Debian FTP Masters
Bug#919953: /usrr/bin/dune and `dune' binary package should refer to dune-common Ian Jackson
Processed: Re: /usr/bin/dune and `dune' binary package should refer to dune-common Debian Bug Tracking System
Bug#895472: ocaml: CVE-2018-9838 Moritz Mühlenhoff
Processed: Bug #668751 in liquidsoap marked as pending Debian Bug Tracking System
Bug#920146: janest-core-kernel: build-depends on libbin-prot-camlp4-dev Ralf Treinen
[Git][ocaml-team/liquidsoap][master] Remove /usr/share/liquidsoap on purge (Closes: #668751) Kyle Robbertze
Processed: Bug #812591 Debian Bug Tracking System
Attivazione bonus Ramona Tivoli
Bug#877507: ppx-core FTBFS: E: Cannot find external tool 'ocamlbuild' Ralf Treinen
Bug#905940: Please resolve failing autopkgtests, preferably by converting to dh-elpa Nicholas D Steeves
Bug#920229: ocaml-mode: Please convert to use dh-elpa Nicholas D Steeves
Processed: block 906259 with 905940 Debian Bug Tracking System
Bug#676524: marked as done (camlimages: no camlimages/Makefile.config) Debian Bug Tracking System
Bug#909448: Bug #909448: Dependencies suggestions Kyle Robbertze
[Git][ocaml-team/camlimages] Pushed new tag debian/1%4.2.6-3 Kyle Robbertze
Processing of camlimages_4.2.6-3_amd64.changes Debian FTP Masters
camlimages_4.2.6-3_amd64.changes ACCEPTED into unstable Debian FTP Masters
Bug#759173: Urgent translation update for ocamlgraph Helge Kreutzmann
Bug#866145: Urgent translation update for ocamlgraph Helge Kreutzmann
Processing of advi_1.10.2-4_source.changes Debian FTP Masters
Processing of morsmall_0.1-1_amd64.changes Debian FTP Masters
advi_1.10.2-4_source.changes ACCEPTED into unstable Debian FTP Masters
morsmall_0.1-1_amd64.changes is NEW Debian FTP Masters
Processed: Bug #895472 in ocaml marked as pending Debian Bug Tracking System
Bug#920440: unison-gtk: New upstream version Vladimir Kudrya
Bug#874700: marked as done (ocaml: CVE-2017-9779) Debian Bug Tracking System
[Git][ocaml-team/ocaml] Pushed new tag debian/4.05.0-11 Stéphane Glondu
Processing of ocaml_4.05.0-11_amd64.changes Debian FTP Masters
Bug#895472: marked as done (ocaml: CVE-2018-9838) Debian Bug Tracking System
Bug#895994: marked as done (ocaml-nox: Stop recommending deprecated camlp4) Debian Bug Tracking System
ocaml_4.05.0-11_amd64.changes ACCEPTED into unstable Debian FTP Masters
[Git][ocaml-team/advi] Pushed new tag debian/1.10.2-4 Ralf Treinen
Bug#920466: mldonkey-server: Init script fails to stop daemon properly Sunil Mohan Adapa
ocaml-gettext is marked for autoremoval from testing Debian testing autoremoval watch
Processed: furrfu Debian Bug Tracking System
Bug#920589: coqide is not longer packaged for amd64 Lars Dölle
Bug#759173: marked as done (ocamlgraph: [INTL:pt] Updated Portuguese translation of manpage) Debian Bug Tracking System
Bug#866145: marked as done (ocamlgraph: [INTL:de] Initial German po4a translation) Debian Bug Tracking System
Processing of ocamlgraph_1.8.8-1.1_source.changes Debian FTP Masters
ocamlgraph_1.8.8-1.1_source.changes ACCEPTED into unstable Debian FTP Masters
Processed: affects 919658 Debian Bug Tracking System
Processing of dose3_5.0.1-12_source.changes Debian FTP Masters
dose3_5.0.1-12_source.changes ACCEPTED into unstable Debian FTP Masters
[Git][ocaml-team/dose3] Pushed new tag debian/5.0.1-12 Ralf Treinen
[Git][ocaml-team/ocaml-migrate-parsetree] Pushed new tag debian/1.2.0-2 Andy Li
[Git][ocaml-team/camomile] Pushed new tag debian/1.0.1-2 Kyle Robbertze
Processing of camomile_1.0.1-2_amd64.changes Debian FTP Masters
camomile_1.0.1-2_amd64.changes ACCEPTED into unstable Debian FTP Masters
Processing of ocaml-qcheck_0.9-1_amd64.changes Debian FTP Masters
ocaml-qcheck_0.9-1_amd64.changes is NEW Debian FTP Masters
The last update was on 18:00 GMT Mon Jun 10. There are 226 messages. Page 1 of 1.
[Date Index]
[Subject Index]
[Author Index]
[Other Debian Lists]
[Debian Home]
Mail converted by MHonArc