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