debian-ocaml-maint Jan 2017 by thread
[
previous month
]
[
first page
]
[previous page]
Page 1 of 1
[next page]
[
last page
]
[
next month
]
[
Date Index
] [
Subject Index
] [
Author Index
] [
Other Debian Lists
] [
Debian Home
]
pushed otags changes for sexplib removal
Hendrik Tews
Re: pushed otags changes for sexplib removal
Ralf Treinen
Re: pushed otags changes for sexplib removal
Hendrik Tews
Re: pushed otags changes for sexplib removal
Ralf Treinen
Processing of frama-c_20161101+silicon+dfsg-3_amd64.changes
Debian FTP Masters
frama-c_20161101+silicon+dfsg-3_amd64.changes ACCEPTED into unstable
Debian FTP Masters
Processing of frama-c_20161101+silicon+dfsg-4_amd64.changes
Debian FTP Masters
frama-c_20161101+silicon+dfsg-4_amd64.changes ACCEPTED into unstable
Debian FTP Masters
Processing of otags_4.02.2-2_source.changes
Debian FTP Masters
Bug#843319: marked as done (FTBFS: libsexplib-camlp4-dev is no longer available)
Debian Bug Tracking System
otags_4.02.2-2_source.changes ACCEPTED into unstable
Debian FTP Masters
pushed prooftree changes
Hendrik Tews
Re: pushed prooftree changes
Ralf Treinen
Re: pushed prooftree changes
Hendrik Tews
Re: pushed prooftree changes
Ralf Treinen
Re: pushed prooftree changes
Hendrik Tews
Re: pushed prooftree changes
Ralf Treinen
Re: pushed prooftree changes
Ralf Treinen
Re: pushed prooftree changes
Hendrik Tews
Bug#850071: tuareg-mode: Fail to install if emacs21 is installed.
Oleksandr Gavenko
Bug#850071: tuareg-mode: Fail to install if emacs21 is installed.
Ralf Treinen
Processed: severity of 850071 is minor
Debian Bug Tracking System
Processing of why3_0.87.2-3_source.changes
Debian FTP Masters
why3_0.87.2-3_source.changes ACCEPTED into unstable
Debian FTP Masters
Bug#843409: dose-builddebcheck --deb-triplettable needs to move to tupletable
Johannes Schauer
Bug#843409: dose-builddebcheck --deb-triplettable needs to move to tupletable
Ralf Treinen
Bug#843409: dose-builddebcheck --deb-triplettable needs to move to tupletable
Mehdi Dogguy
Bug#850792: Removed package(s) from unstable
Debian FTP Masters
<Possible follow-ups>
Bug#850792: Removed package(s) from unstable
Debian FTP Masters
Bug#850943: dose-builddebcheck: please add an option to check non-full builds
Johannes Schauer
Bug#850943: [Dose-devel] Bug#850943: dose-builddebcheck: please add an option to check non-full builds
Ralf Treinen
Bug#850943: [Dose-devel] Bug#850943: dose-builddebcheck: please add an option to check non-full builds
Johannes Schauer
Bug#850943: [Dose-devel] Bug#850943: dose-builddebcheck: please add an option to check non-full builds
Johannes Schauer
Bug#850943: marked as done (dose-builddebcheck: please add an option to check non-full builds)
Debian Bug Tracking System
Bug#851104: frama-c: fails to upgrade from 'jessie' - trying to overwrite /usr/lib/frama-c/analyses_manager.cmi
Andreas Beckmann
Processed: frama-c: fails to upgrade from 'jessie' - trying to overwrite /usr/lib/frama-c/analyses_manager.cmi
Debian Bug Tracking System
new hol-light package in git
Hendrik Tews
Bug#851188: unison: Supposedly changing of static files
Helge Kreutzmann
Processing of why3_0.87.3-1_source.changes
Debian FTP Masters
why3_0.87.3-1_source.changes ACCEPTED into experimental
Debian FTP Masters
Bug#845633: Removed package(s) from unstable
Debian FTP Masters
<Possible follow-ups>
Bug#845633: Removed package(s) from unstable
Debian FTP Masters
Message not available
Bug#843317: marked as done (FTBFS: libsexplib-camlp4-dev is no longer available)
Debian Bug Tracking System
Bug#845632: Removed package(s) from unstable
Debian FTP Masters
<Possible follow-ups>
Bug#845632: Removed package(s) from unstable
Debian FTP Masters
Message not available
Bug#843316: marked as done (FTBFS: libsexplib-camlp4-dev is no longer available)
Debian Bug Tracking System
coq 8.6-4 MIGRATED to testing
Debian testing watch
Processing of prooftree_0.13-1_source.changes
Debian FTP Masters
prooftree_0.13-1_source.changes ACCEPTED into unstable
Debian FTP Masters
Processing of hol-light_20170109-1_source.changes
Debian FTP Masters
hol-light_20170109-1_source.changes ACCEPTED into unstable
Debian FTP Masters
Processing of frama-c_20161101+silicon+dfsg-5_amd64.changes
Debian FTP Masters
frama-c_20161101+silicon+dfsg-5_amd64.changes ACCEPTED into unstable
Debian FTP Masters
Bug#810553: unison: Please package Unison's fsmonitor.py
Christoph Groth
Bug#843409: marked as done (dose-builddebcheck --deb-triplettable needs to move to tupletable)
Debian Bug Tracking System
Processing of dose3_5.0.1-8_source.changes
Debian FTP Masters
dose3_5.0.1-8_source.changes ACCEPTED into unstable
Debian FTP Masters
Fattura TIM linea Fissa - Gennaio 2017 - scadenza 12/01/2017
Telecom Italia-TIM
cppo updated
Hendrik Tews
frama-c is marked for autoremoval from testing
Debian testing autoremoval watch
Bug#643243: marked as done (perl4caml: FTBFS: dpkg-buildpackage: error: dpkg-source -b perl4caml-0.9.5 gave error exit status 2)
Debian Bug Tracking System
Processing of why3_0.87.3-2_source.changes
Debian FTP Masters
why3_0.87.3-2_source.changes ACCEPTED into unstable
Debian FTP Masters
Bug#583994: marked as done (advi: Security bugs in ghostscript)
Debian Bug Tracking System
Bug#834137: marked as done (advi: please make the build reproducible)
Debian Bug Tracking System
Processing of advi_1.10.2-3_source.changes
Debian FTP Masters
advi_1.10.2-3_source.changes ACCEPTED into unstable
Debian FTP Masters
Distribución Nacional y Transporte desde los 4 principales puertos del país de Carga Pesada
Presidencia - Logisven
Bug#852412: coccinelle: Please provide a newer version (1.0.6)
Philipp Marek
Processing of ocamlmakefile_6.37.0-3_source.changes
Debian FTP Masters
ocamlmakefile_6.37.0-3_source.changes ACCEPTED into unstable
Debian FTP Masters
Transmaquina - Búsqueda de Proveedor Grúas Telescópicas y Maquinaria
Gerencia Comercial
Processed: user debian-qa@lists.debian.org, usertagging 789872, affects 789872, usertagging 811746 ...
Debian Bug Tracking System
Processed: Still open in experimental
Debian Bug Tracking System
Bug#852890: ocaml-textutils: FTBFS: build-dependency not installable: libcore-ocaml-dev (>= 113.00.00-4~)
Lucas Nussbaum
Bug#852913: ocaml-re2: FTBFS: unsatisfiable build-dependencies: libcore-ocaml-dev, libpa-test-camlp4-dev, libbin-prot-camlp4-dev, libsexplib-camlp4-dev
Lucas Nussbaum
RE:liefdadigheid Charity
Richard D. Rodriguez
Verzacht uw kraantjeswater
Waterverzachter
Processed: user debian-qa@lists.debian.org, usertagging 665001, found 665001 in 2.4.1.1, usertagging 843320 ...
Debian Bug Tracking System
The last update was on 11:49 GMT Sat Jun 15. There are 79 messages. Page 1 of 1.
[
previous month
]
[
first page
]
[previous page]
Page 1 of 1
[next page]
[
last page
]
[
next month
]
[
Date Index
] [
Subject Index
] [
Author Index
] [
Other Debian Lists
] [
Debian Home
]
Mail converted by
MHonArc