debian-ocaml-maint Aug 2017 by author

[previous page]

Page 1 of 1

[next page]

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

Daniel Bünzli

Re: opam - cmdliner - topkg cycle resolved upstream Aug 07

Stéphane Glondu

Bug#870319: ben: Please make generated simple query match the set of exact package names Aug 01
Bug#870319: ben: Please make generated simple query match the set of exact package names Aug 01
Bug#871469: transition: ocaml Aug 08
Bug#870319: ben: Please make generated simple query match the set of exact package names Aug 01

Stéphane Glondu

Re: Preparation of the transition to OCaml 4.05.0: status update Aug 01
Re: Bug#870398: sks: non-deterministically FTBFS with "Error: Unbound module Bdb" Aug 01
Re: RFS: ocaml-sedlex/1.99.3-1 Aug 08
Re: Bug#870151: zeroinstall-injector FTBFS with OCaml 4.05.0: Option -a cannot be used with .cmxa input files. Aug 06
Re: Bug#871469: transition: ocaml Aug 16
Re: Update xml-light to 2.4 Aug 09
Re: [Pkg-ocaml-maint-commits] [cmdliner] 03/03: update packaging using the upstream Makefile Aug 13
Re: updated cmdliner Aug 13
Re: Update xml-light to 2.4 Aug 08
Re: Preparation of the transition to OCaml 4.05.0: status update Aug 08
Re: Bug#870398: sks: non-deterministically FTBFS with "Error: Unbound module Bdb" Aug 01

Aaron M. Ucko

Bug#873781: ocaml-gen: FTBFS without ocamlopt: /usr/lib/ocaml/gen/*.a missing Aug 31

Adrian Bunk

Bug#871912: frama-c FTBFS on ppc64el/s390x/mips*: configure: error: native dynlink does not work. Aug 12
Bug#872281: why FTBFS with frama-c 20170501+phosphorus+dfsg-1 Aug 15

Andy Li

Re: Update xml-light to 2.4 Aug 09
Bug#873781: ocaml-gen: FTBFS without ocamlopt: /usr/lib/ocaml/gen/*.a missing Aug 31

Balint Reczey

Bug#870319: ben: Please make generated simple query match the set of exact package names Aug 01

Bas Couwenberg

Bug#873711: ben: HTML trackers don't match release.debian.org due to typo in CSS Aug 30

Daniel Kahn Gillmor

Bug#870398: sks: non-deterministically FTBFS with "Error: Unbound module Bdb" Aug 01

Debian Bug Tracking System

Bug#871277: marked as done (libgdome2-cpp-smart0v5: requires rebuild against GCC 7 and symbols/shlibs bump) Aug 08
Bug#580092: marked as done (new syntax in OCaml 3.12 for overridden methods) Aug 11
Bug#869325: marked as done (Updating the pycaml Uploaders list) Aug 08
Bug#868606: marked as done (hol-light FTBFS: Error: This expression has type (MLast.loc * string Ploc.vala) Ploc.vala but an expression was expected of type MLast.loc * 'a) Aug 03
Bug#869320: marked as done (Updating the xstr Uploaders list) Aug 08
Bug#666257: marked as done (libderiving-ocaml: Programs using libderiving fail to link (archive missing in META)) Aug 11
Bug#869322: marked as done (Updating the ocaml-deriving Uploaders list) Aug 11
Bug#484497: marked as done (please ship the menhir pdf manual) Aug 12
Bug#869323: marked as done (Updating the mlpcap Uploaders list) Aug 08
Bug#869324: marked as done (Updating the gmetadom Uploaders list) Aug 08
Bug#869321: marked as done (Updating the camltemplate Uploaders list) Aug 08
Processed: Re: Bug#871990: ocaml-interp: convert the menu file to a desktop file Aug 16

Debian FTP Masters

Bug#784050: Removed package(s) from unstable Aug 11
Processing of mlpcap_0.9-17_amd64.changes Aug 08
frama-c_20170501+phosphorus+dfsg-1_amd64.changes ACCEPTED into unstable Aug 11
Processing of pycaml_0.82-15_amd64.changes Aug 08
gmetadom_0.2.6-7_amd64.changes ACCEPTED into unstable Aug 08
Bug#784050: Removed package(s) from unstable Aug 11
ocaml-doc_4.05-1~exp1_amd64.changes ACCEPTED into experimental Aug 09
Processing of ocaml-doc_4.05-1~exp1_amd64.changes Aug 09
menhir_20170712-1_amd64.changes ACCEPTED into unstable, unstable Aug 12
hol-light_20170109-2_source.changes ACCEPTED into unstable Aug 03
Processing of xml-light_2.4-1_amd64.changes Aug 09
Processing of camltemplate_1.0.2-2_amd64.changes Aug 08
pycaml_0.82-15_amd64.changes ACCEPTED into unstable Aug 08
xml-light_2.4-1_amd64.changes ACCEPTED into unstable Aug 09
camltemplate_1.0.2-2_amd64.changes ACCEPTED into unstable Aug 08
Processing of gmetadom_0.2.6-7_amd64.changes Aug 08
Processing of frama-c_20170501+phosphorus+dfsg-1_amd64.changes Aug 11
ocaml-gen_0.4.0.1-1_amd64.changes ACCEPTED into unstable, unstable Aug 30
mlpcap_0.9-17_amd64.changes ACCEPTED into unstable Aug 08
Processing of hol-light_20170109-2_source.changes Aug 03
xstr_0.2.1-22_amd64.changes ACCEPTED into unstable Aug 08
jbuilder_1.0~beta11-1_amd64.changes ACCEPTED into unstable, unstable Aug 31
Processing of xstr_0.2.1-22_amd64.changes Aug 08

Debian testing autoremoval watch

matita is marked for autoremoval from testing Aug 15
lablgtkmathview is marked for autoremoval from testing Aug 25
gmetadom is marked for autoremoval from testing Aug 15
lablgtkmathview is marked for autoremoval from testing Aug 05
mlpcap is marked for autoremoval from testing Aug 17

Dimitri John Ledkov

Re: Preparation of the transition to OCaml 4.05.0: status update Aug 03

Hendrik Tews

Re: Preparation of the transition to OCaml 4.05.0: status update Aug 27
Re: updated cmdliner Aug 13
Re: Preparation of the transition to OCaml 4.05.0: status update Aug 02
updated cmdliner Aug 11
opam - cmdliner - topkg cycle resolved upstream Aug 03
Re: [Pkg-ocaml-maint-commits] [cmdliner] 03/03: update packaging using the upstream Makefile Aug 14
Re: Bug#869114: ITP: ocaml-libtopkg -- packager for distributing OCaml software Aug 27
Re: [Pkg-ocaml-maint-commits] [cmdliner] 03/03: update packaging using the upstream Makefile Aug 18
Re: Preparation of the transition to OCaml 4.05.0: status update Aug 28
Re: Preparation of the transition to OCaml 4.05.0: status update Aug 02

jcowgill

Bug#871277: libgdome2-cpp-smart0v5: requires rebuild against GCC 7 and symbols/shlibs bump Aug 07

Johannes Schauer

Bug#870585: hevea: Please support SOURCE_DATE_EPOCH Aug 03

Lesinfos.ma

Action - Réaction : Le plan d'urgence d'El Othmani dévoilé, suite au sévère discours royal [Vidéo] Aug 03
Humains augmentés : Puces dans le cerveau, dans les mains, le futur est déjà là ! Aug 01
Une exposition exceptionnelle retrace l'exil à Madagascar de feu Mohammed V Aug 03
OFFICIEL : Le PSG s'offre Neymar en payant sa colossale clause libératoire ! Aug 02
News : On peut faire dire n'importe quoi à n'importe qui grâce à une IA ! [Vidéo] Aug 02
Exploit scientifique : Des chercheurs modifient le génome sur des embryons humains ! Aug 03
Football : La LIGA refuse le transfert de Neymar ! Aug 03
Neymar dit "adieux" à ses coéquipiers du FC Barcelone ! Aug 02
Saad Lamjarred sort un nouveau single et un nouveau clip ! Aug 01
Épuisement des ressources : L'humanité a désormais besoin de l'équivalent de 1,7 planète... Aug 02

Luca Falavigna

ppx-deriving-yojson_3.0-1_amd64.changes REJECTED Aug 29

Lucas Nussbaum

Bug#870932: ocamlduce: should ocamlduce be removed from unstable? Aug 06
Bug#870966: janest-core: should janest-core be removed from unstable? Aug 06

Mattia Rizzolo

Bug#873238: Updating the ocaml-getopt Uploaders list Aug 25
Bug#873236: Updating the ocamlcreal Uploaders list Aug 25
Bug#873239: Updating the mlgmp Uploaders list Aug 25
Bug#873235: Updating the omake Uploaders list Aug 25
Bug#873237: Updating the ocaml-reins Uploaders list Aug 25
Bug#873234: Updating the otags Uploaders list Aug 25
Bug#873233: Updating the perl4caml Uploaders list Aug 25

Mehdi Dogguy

Re: Package maintenance of Frama-C Aug 11
Bug#871912: frama-c FTBFS on ppc64el/s390x/mips*: configure: error: native dynlink does not work. Aug 12
Package maintenance of Frama-C Aug 10

Pino Toscano

Bug#871990: ocaml-interp: convert the menu file to a desktop file Aug 13

Ralf Treinen

Re: Package maintenance of Frama-C Aug 11
Re: Preparation of the transition to OCaml 4.05.0: status update Aug 28

Steve Langasek

Ximin Luo

Re: Preparation of the transition to OCaml 4.05.0: status update Aug 01
Bug#871990: ocaml-interp: convert the menu file to a desktop file Aug 16
Re: opam - cmdliner - topkg cycle resolved upstream Aug 05

The last update was on 06:50 GMT Thu Jun 06. There are 108 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