debian-ocaml-maint Oct 2018 by date

[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]

Oct 03

Bug#910126: atdgen FTBFS: Error: Unbound module Atd_ast Helmut Grohne
Bug#910222: opam: copyright file missing after upgrade (policy 12.5) Andreas Beckmann
Processed: add ftbfs tag Debian Bug Tracking System

Oct 12

Bug#910840: coq: upgrade to new upstream version 8.6.1+ John Scott

Oct 14

advi is marked for autoremoval from testing Debian testing autoremoval watch
cairo-ocaml is marked for autoremoval from testing Debian testing autoremoval watch
ben is marked for autoremoval from testing Debian testing autoremoval watch
lablgtk-extras is marked for autoremoval from testing Debian testing autoremoval watch
alt-ergo is marked for autoremoval from testing Debian testing autoremoval watch
camomile is marked for autoremoval from testing Debian testing autoremoval watch
camlimages is marked for autoremoval from testing Debian testing autoremoval watch
bin-prot is marked for autoremoval from testing Debian testing autoremoval watch
atdgen is marked for autoremoval from testing Debian testing autoremoval watch
cppo is marked for autoremoval from testing Debian testing autoremoval watch
biniou is marked for autoremoval from testing Debian testing autoremoval watch
caml2html is marked for autoremoval from testing Debian testing autoremoval watch
easy-format is marked for autoremoval from testing Debian testing autoremoval watch
dose3 is marked for autoremoval from testing Debian testing autoremoval watch
coq is marked for autoremoval from testing Debian testing autoremoval watch
cudf is marked for autoremoval from testing Debian testing autoremoval watch
extlib is marked for autoremoval from testing Debian testing autoremoval watch
freetennis is marked for autoremoval from testing Debian testing autoremoval watch
frama-c is marked for autoremoval from testing Debian testing autoremoval watch
fieldslib is marked for autoremoval from testing Debian testing autoremoval watch
headache is marked for autoremoval from testing Debian testing autoremoval watch
galax is marked for autoremoval from testing Debian testing autoremoval watch
lablgtkmathview is marked for autoremoval from testing Debian testing autoremoval watch
laby is marked for autoremoval from testing Debian testing autoremoval watch
lwt is marked for autoremoval from testing Debian testing autoremoval watch
js-build-tools is marked for autoremoval from testing Debian testing autoremoval watch
liquidsoap is marked for autoremoval from testing Debian testing autoremoval watch
lambda-term is marked for autoremoval from testing Debian testing autoremoval watch
lablgtk2 is marked for autoremoval from testing Debian testing autoremoval watch
mlpost is marked for autoremoval from testing Debian testing autoremoval watch
nproc is marked for autoremoval from testing Debian testing autoremoval watch
meta-ocaml is marked for autoremoval from testing Debian testing autoremoval watch
marionnet is marked for autoremoval from testing Debian testing autoremoval watch
meta-unison is marked for autoremoval from testing Debian testing autoremoval watch
ocaml-batteries is marked for autoremoval from testing Debian testing autoremoval watch
matita is marked for autoremoval from testing Debian testing autoremoval watch
aac-tactics is marked for autoremoval from testing Debian testing autoremoval watch
nss-passwords is marked for autoremoval from testing Debian testing autoremoval watch
oasis is marked for autoremoval from testing Debian testing autoremoval watch
mldonkey is marked for autoremoval from testing Debian testing autoremoval watch
obus is marked for autoremoval from testing Debian testing autoremoval watch
ocaml-deriving-ocsigen is marked for autoremoval from testing Debian testing autoremoval watch
ocaml-csv is marked for autoremoval from testing Debian testing autoremoval watch
ocaml-gettext is marked for autoremoval from testing Debian testing autoremoval watch
ocaml-expect is marked for autoremoval from testing Debian testing autoremoval watch
ocaml-lastfm is marked for autoremoval from testing Debian testing autoremoval watch
ocaml-atd is marked for autoremoval from testing Debian testing autoremoval watch
ocaml-melt is marked for autoremoval from testing Debian testing autoremoval watch
ocaml-data-notation is marked for autoremoval from testing Debian testing autoremoval watch
ocaml-ctypes is marked for autoremoval from testing Debian testing autoremoval watch
ocaml-estring is marked for autoremoval from testing Debian testing autoremoval watch
ocaml-fileutils is marked for autoremoval from testing Debian testing autoremoval watch
ocaml-http is marked for autoremoval from testing Debian testing autoremoval watch
ocaml-sedlex is marked for autoremoval from testing Debian testing autoremoval watch
ocaml-migrate-parsetree is marked for autoremoval from testing Debian testing autoremoval watch
ocamlbricks is marked for autoremoval from testing Debian testing autoremoval watch
ocaml-qcheck is marked for autoremoval from testing Debian testing autoremoval watch
ocamldap is marked for autoremoval from testing Debian testing autoremoval watch
ocaml-rope is marked for autoremoval from testing Debian testing autoremoval watch
ocamlodbc is marked for autoremoval from testing Debian testing autoremoval watch
ocamlrss is marked for autoremoval from testing Debian testing autoremoval watch
ocaml-sqlexpr is marked for autoremoval from testing Debian testing autoremoval watch
ocaml-visitors is marked for autoremoval from testing Debian testing autoremoval watch
opam is marked for autoremoval from testing Debian testing autoremoval watch
ocaml-usb is marked for autoremoval from testing Debian testing autoremoval watch
ocamlmod is marked for autoremoval from testing Debian testing autoremoval watch
ocamlgraph is marked for autoremoval from testing Debian testing autoremoval watch
ocamlviz is marked for autoremoval from testing Debian testing autoremoval watch
ocurl is marked for autoremoval from testing Debian testing autoremoval watch
otags is marked for autoremoval from testing Debian testing autoremoval watch
ppx-deriving-yojson is marked for autoremoval from testing Debian testing autoremoval watch
pgocaml is marked for autoremoval from testing Debian testing autoremoval watch
ppx-derivers is marked for autoremoval from testing Debian testing autoremoval watch
ppx-tools-versioned is marked for autoremoval from testing Debian testing autoremoval watch
react is marked for autoremoval from testing Debian testing autoremoval watch
ppx-deriving is marked for autoremoval from testing Debian testing autoremoval watch
pxp is marked for autoremoval from testing Debian testing autoremoval watch
xmlrpc-light is marked for autoremoval from testing Debian testing autoremoval watch
reactivedata is marked for autoremoval from testing Debian testing autoremoval watch
utop is marked for autoremoval from testing Debian testing autoremoval watch
unison is marked for autoremoval from testing Debian testing autoremoval watch
tyxml is marked for autoremoval from testing Debian testing autoremoval watch
why3 is marked for autoremoval from testing Debian testing autoremoval watch
ocamlnet is marked for autoremoval from testing Debian testing autoremoval watch
ssreflect is marked for autoremoval from testing Debian testing autoremoval watch
yojson is marked for autoremoval from testing Debian testing autoremoval watch
variantslib is marked for autoremoval from testing Debian testing autoremoval watch
zed is marked for autoremoval from testing Debian testing autoremoval watch
why is marked for autoremoval from testing Debian testing autoremoval watch

Oct 16

Processing of cppo_1.6.4-3_amd64.changes Debian FTP Masters
cppo_1.6.4-3_amd64.changes ACCEPTED into unstable Debian FTP Masters
Bug#911159: please stop building the frama-c GUI Matthias Klose
Processed: Bug #885677 in lablgtk2 marked as pending Debian Bug Tracking System
Processed: tagging 909542 Debian Bug Tracking System

Oct 17

Processing of lablgtk2_2.18.5+dfsg-2_amd64.changes Debian FTP Masters
Bug#885677: marked as done (liblablgtksourceview2-ocaml: Depends on unmaintained gtksourceview2) Debian Bug Tracking System
lablgtk2_2.18.5+dfsg-2_amd64.changes ACCEPTED into unstable Debian FTP Masters
Bug#911159: marked as done (please stop building the frama-c GUI) Debian Bug Tracking System

Oct 18

Bug#911159: please stop building the frama-c GUI Stéphane Glondu
Processed: Re: Bug#911159: please stop building the frama-c GUI Debian Bug Tracking System
Processed: limit source to opam, tagging 910222 Debian Bug Tracking System

Oct 19

Processed: Your package FTBFS with freetype 2.9.1 Debian Bug Tracking System
Bug#911406: jsonm FTBFS: dh_installdocs: Cannot find (any matches for) "README" (tried in .) Helmut Grohne

Oct 20

Processed: tagging 911103, tagging 887601, tagging 887712, tagging 887714, tagging 887720 ..., tagging 892334 ... Debian Bug Tracking System
Bug#875850: opam fails to build ocamlfind. Ralf Treinen
Processed: notfound 811308 in 8:6.8.9.9-7, found 811308 in 8:6.8.9.9-7, tagging 842316 ..., fixed 849748 in 234 Debian Bug Tracking System

Oct 21

Bug#911521: ocaml-doc: no info dir entry in `/usr/share/info/ocaml.info.haux.gz' Jakub Wilk
Processing of opam_2.0.0-5_source.changes Debian FTP Masters
opam_2.0.0-5_source.changes REJECTED Debian FTP Masters
Bug#910222: marked as done (opam: copyright file missing after upgrade (policy 12.5)) Debian Bug Tracking System
Bug#909542: marked as done (opam: FTBFS when built with dpkg-buildpackage -A) Debian Bug Tracking System
Processing of opam_2.0.0-5_source.changes Debian FTP Masters
opam_2.0.0-5_source.changes ACCEPTED into unstable Debian FTP Masters

Oct 27

Re: Bug#911854: build-rdeps: some (transitive) rdeps are missing James McCoy

Oct 28

opam is marked for autoremoval from testing Debian testing autoremoval watch
jsonm is marked for autoremoval from testing Debian testing autoremoval watch
Bug#912093: lablgtk-extras FTBFS: ocamlfind: Package `lablgtk2.sourceview2' not found Adrian Bunk
Processing of dose3_5.0.1-11~bpo9+1_amd64.changes Debian FTP Masters
dose3_5.0.1-11~bpo9+1_amd64.changes is NEW Debian FTP Masters

Oct 29

Re: Bug#911854: build-rdeps: some (transitive) rdeps are missing Ralf Treinen
Re: Bug#911854: build-rdeps: some (transitive) rdeps are missing Stéphane Glondu
dose3_5.0.1-11~bpo9+1_amd64.changes ACCEPTED into stretch-backports, stretch-backports Debian FTP Masters
Processed: Bug #911406 in jsonm marked as pending Debian Bug Tracking System
Processing of jsonm_1.0.1-2_amd64.changes Debian FTP Masters
Bug#911406: marked as done (jsonm FTBFS: dh_installdocs: Cannot find (any matches for) "README" (tried in .)) Debian Bug Tracking System
jsonm_1.0.1-2_amd64.changes ACCEPTED into unstable Debian FTP Masters

Oct 31

Bug#906704: Removed package(s) from unstable Debian FTP Masters

The last update was on 13:01 GMT Mon Jun 10. There are 131 messages. Page 1 of 1.