debian-ocaml-maint Jan 2017 by author

[previous page]

Page 1 of 1

[next page]

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

Andreas Beckmann

Bug#851104: frama-c: fails to upgrade from 'jessie' - trying to overwrite /usr/lib/frama-c/analyses_manager.cmi Jan 12

Christoph Groth

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

Debian Bug Tracking System

Processed: user debian-qa@lists.debian.org, usertagging 789872, affects 789872, usertagging 811746 ... Jan 27
Bug#643243: marked as done (perl4caml: FTBFS: dpkg-buildpackage: error: dpkg-source -b perl4caml-0.9.5 gave error exit status 2) Jan 20
Bug#843319: marked as done (FTBFS: libsexplib-camlp4-dev is no longer available) Jan 01
Bug#583994: marked as done (advi: Security bugs in ghostscript) Jan 23
Processed: severity of 850071 is minor Jan 03
Bug#850943: marked as done (dose-builddebcheck: please add an option to check non-full builds) Jan 17
Bug#834137: marked as done (advi: please make the build reproducible) Jan 23
Processed: Still open in experimental Jan 27
Bug#843316: marked as done (FTBFS: libsexplib-camlp4-dev is no longer available) Jan 13
Bug#843317: marked as done (FTBFS: libsexplib-camlp4-dev is no longer available) Jan 13
Processed: user debian-qa@lists.debian.org, usertagging 665001, found 665001 in 2.4.1.1, usertagging 843320 ... Jan 31
Processed: frama-c: fails to upgrade from 'jessie' - trying to overwrite /usr/lib/frama-c/analyses_manager.cmi Jan 12
Bug#843409: marked as done (dose-builddebcheck --deb-triplettable needs to move to tupletable) Jan 17

Debian FTP Masters

Processing of otags_4.02.2-2_source.changes Jan 01
why3_0.87.2-3_source.changes ACCEPTED into unstable Jan 03
otags_4.02.2-2_source.changes ACCEPTED into unstable Jan 01
Processing of frama-c_20161101+silicon+dfsg-3_amd64.changes Jan 01
Processing of why3_0.87.2-3_source.changes Jan 03
Bug#845633: Removed package(s) from unstable Jan 13
Processing of frama-c_20161101+silicon+dfsg-4_amd64.changes Jan 01
Processing of ocamlmakefile_6.37.0-3_source.changes Jan 24
Processing of why3_0.87.3-1_source.changes Jan 12
frama-c_20161101+silicon+dfsg-4_amd64.changes ACCEPTED into unstable Jan 01
Processing of hol-light_20170109-1_source.changes Jan 15
Bug#850792: Removed package(s) from unstable Jan 10
Processing of frama-c_20161101+silicon+dfsg-5_amd64.changes Jan 15
Processing of prooftree_0.13-1_source.changes Jan 14
hol-light_20170109-1_source.changes ACCEPTED into unstable Jan 15
Bug#845632: Removed package(s) from unstable Jan 13
ocamlmakefile_6.37.0-3_source.changes ACCEPTED into unstable Jan 24
Processing of advi_1.10.2-3_source.changes Jan 23
why3_0.87.3-2_source.changes ACCEPTED into unstable Jan 21
advi_1.10.2-3_source.changes ACCEPTED into unstable Jan 23
why3_0.87.3-1_source.changes ACCEPTED into experimental Jan 12
Processing of dose3_5.0.1-8_source.changes Jan 17
Bug#845632: Removed package(s) from unstable Jan 13
frama-c_20161101+silicon+dfsg-5_amd64.changes ACCEPTED into unstable Jan 15
Processing of why3_0.87.3-2_source.changes Jan 21
prooftree_0.13-1_source.changes ACCEPTED into unstable Jan 14
Bug#850792: Removed package(s) from unstable Jan 10
frama-c_20161101+silicon+dfsg-3_amd64.changes ACCEPTED into unstable Jan 01
Bug#845633: Removed package(s) from unstable Jan 13
dose3_5.0.1-8_source.changes ACCEPTED into unstable Jan 17

Debian testing autoremoval watch

frama-c is marked for autoremoval from testing Jan 20

Debian testing watch

coq 8.6-4 MIGRATED to testing Jan 14

Gerencia Comercial

Transmaquina - Búsqueda de Proveedor Grúas Telescópicas y Maquinaria Jan 25

Helge Kreutzmann

Bug#851188: unison: Supposedly changing of static files Jan 12

Hendrik Tews

Re: pushed prooftree changes Jan 13
Re: pushed prooftree changes Jan 14
cppo updated Jan 19
new hol-light package in git Jan 12
pushed otags changes for sexplib removal Jan 01
Re: pushed otags changes for sexplib removal Jan 01
Re: pushed prooftree changes Jan 04
pushed prooftree changes Jan 03

Johannes Schauer

Lucas Nussbaum

Mehdi Dogguy

Bug#843409: dose-builddebcheck --deb-triplettable needs to move to tupletable Jan 10

Oleksandr Gavenko

Bug#850071: tuareg-mode: Fail to install if emacs21 is installed. Jan 03

Philipp Marek

Bug#852412: coccinelle: Please provide a newer version (1.0.6) Jan 24

Presidencia - Logisven

Distribución Nacional y Transporte desde los 4 principales puertos del país de Carga Pesada Jan 23

Ralf Treinen

Re: pushed prooftree changes Jan 03
Re: pushed otags changes for sexplib removal Jan 01
Re: pushed prooftree changes Jan 14
Re: pushed prooftree changes Jan 13
Re: pushed otags changes for sexplib removal Jan 01
Bug#850071: tuareg-mode: Fail to install if emacs21 is installed. Jan 03
Bug#843409: dose-builddebcheck --deb-triplettable needs to move to tupletable Jan 10
Bug#850943: [Dose-devel] Bug#850943: dose-builddebcheck: please add an option to check non-full builds Jan 11
Re: pushed prooftree changes Jan 13

Richard D. Rodriguez

RE:liefdadigheid Charity Jan 30

Telecom Italia-TIM

Fattura TIM linea Fissa - Gennaio 2017 - scadenza 12/01/2017 Jan 19

Waterverzachter

Verzacht uw kraantjeswater Jan 31

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]

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

Mail converted by MHonArc