debian-ocaml-maint Jan 2017 by date

[previous month]

[previous page]

Page 1 of 1

[next page]

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

Jan 01

pushed otags changes for sexplib removal Hendrik Tews
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
Re: pushed otags changes for sexplib removal Ralf Treinen
Re: pushed otags changes for sexplib removal Hendrik Tews
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
Re: pushed otags changes for sexplib removal Ralf Treinen
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

Jan 03

pushed prooftree changes Hendrik Tews
Bug#850071: tuareg-mode: Fail to install if emacs21 is installed. Oleksandr Gavenko
Processed: severity of 850071 is minor Debian Bug Tracking System
Bug#850071: tuareg-mode: Fail to install if emacs21 is installed. Ralf Treinen
Re: pushed prooftree changes Ralf Treinen
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

Jan 04

Re: pushed prooftree changes Hendrik Tews

Jan 09

Bug#843409: dose-builddebcheck --deb-triplettable needs to move to tupletable Johannes Schauer

Jan 10

Bug#843409: dose-builddebcheck --deb-triplettable needs to move to tupletable Ralf Treinen
Bug#850792: Removed package(s) from unstable Debian FTP Masters
Bug#850792: Removed package(s) from unstable Debian FTP Masters
Bug#843409: dose-builddebcheck --deb-triplettable needs to move to tupletable Mehdi Dogguy

Jan 11

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

Jan 12

Processed: frama-c: fails to upgrade from 'jessie' - trying to overwrite /usr/lib/frama-c/analyses_manager.cmi 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
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

Jan 13

Re: pushed prooftree changes Ralf Treinen
Re: pushed prooftree changes Hendrik Tews
Bug#843317: marked as done (FTBFS: libsexplib-camlp4-dev is no longer available) Debian Bug Tracking System
Bug#843316: marked as done (FTBFS: libsexplib-camlp4-dev is no longer available) Debian Bug Tracking System
Bug#845633: Removed package(s) from unstable Debian FTP Masters
Bug#845633: Removed package(s) from unstable Debian FTP Masters
Bug#845632: Removed package(s) from unstable Debian FTP Masters
Bug#845632: Removed package(s) from unstable Debian FTP Masters
Re: pushed prooftree changes Ralf Treinen

Jan 14

coq 8.6-4 MIGRATED to testing Debian testing watch
Re: pushed prooftree changes Ralf Treinen
Processing of prooftree_0.13-1_source.changes Debian FTP Masters
Re: pushed prooftree changes Hendrik Tews
prooftree_0.13-1_source.changes ACCEPTED into unstable Debian FTP Masters

Jan 15

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

Jan 17

Bug#850943: [Dose-devel] Bug#850943: dose-builddebcheck: please add an option to check non-full builds Johannes Schauer
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
Bug#850943: marked as done (dose-builddebcheck: please add an option to check non-full builds) 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

Jan 19

Fattura TIM linea Fissa - Gennaio 2017 - scadenza 12/01/2017 Telecom Italia-TIM
cppo updated Hendrik Tews

Jan 20

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

Jan 21

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

Jan 23

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

Jan 24

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

Jan 25

Transmaquina - Búsqueda de Proveedor Grúas Telescópicas y Maquinaria Gerencia Comercial

Jan 27

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

Jan 28

Jan 30

RE:liefdadigheid Charity Richard D. Rodriguez

Jan 31

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]

[previous page]

Page 1 of 1

[next page]

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

Mail converted by MHonArc