debian-ocaml-maint Aug 2017 by thread
[
previous month
]
[
first page
]
[previous page]
Page 1 of 1
[next page]
[
last page
]
[
next month
]
[
Date Index
] [
Subject Index
] [
Author Index
] [
Other Debian Lists
] [
Debian Home
]
Bug#870319: ben: Please make generated simple query match the set of exact package names
Steve Langasek
Bug#870319: ben: Please make generated simple query match the set of exact package names
Stéphane Glondu
Bug#870319: ben: Please make generated simple query match the set of exact package names
Balint Reczey
Bug#870319: ben: Please make generated simple query match the set of exact package names
Steve Langasek
Bug#870319: ben: Please make generated simple query match the set of exact package names
Stéphane Glondu
<Possible follow-ups>
Bug#870319: ben: Please make generated simple query match the set of exact package names
Stéphane Glondu
Humains augmentés : Puces dans le cerveau, dans les mains, le futur est déjà là !
Lesinfos.ma
Re: Preparation of the transition to OCaml 4.05.0: status update
Ximin Luo
Re: Preparation of the transition to OCaml 4.05.0: status update
Stéphane Glondu
Re: Preparation of the transition to OCaml 4.05.0: status update
Hendrik Tews
Re: Preparation of the transition to OCaml 4.05.0: status update
Hendrik Tews
Re: Preparation of the transition to OCaml 4.05.0: status update
Dimitri John Ledkov
Re: Preparation of the transition to OCaml 4.05.0: status update
Stéphane Glondu
<Possible follow-ups>
Re: Preparation of the transition to OCaml 4.05.0: status update
Hendrik Tews
Re: Preparation of the transition to OCaml 4.05.0: status update
Ralf Treinen
Re: Preparation of the transition to OCaml 4.05.0: status update
Hendrik Tews
Bug#870398: sks: non-deterministically FTBFS with "Error: Unbound module Bdb"
Daniel Kahn Gillmor
Re: Bug#870398: sks: non-deterministically FTBFS with "Error: Unbound module Bdb"
Stéphane Glondu
Re: Bug#870398: sks: non-deterministically FTBFS with "Error: Unbound module Bdb"
Stéphane Glondu
Saad Lamjarred sort un nouveau single et un nouveau clip !
Lesinfos.ma
Neymar dit "adieux" à ses coéquipiers du FC Barcelone !
Lesinfos.ma
News : On peut faire dire n'importe quoi à n'importe qui grâce à une IA ! [Vidéo]
Lesinfos.ma
OFFICIEL : Le PSG s'offre Neymar en payant sa colossale clause libératoire !
Lesinfos.ma
Épuisement des ressources : L'humanité a désormais besoin de l'équivalent de 1,7 planète...
Lesinfos.ma
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)
Debian Bug Tracking System
Processing of hol-light_20170109-2_source.changes
Debian FTP Masters
hol-light_20170109-2_source.changes ACCEPTED into unstable
Debian FTP Masters
Bug#870585: hevea: Please support SOURCE_DATE_EPOCH
Johannes Schauer
Une exposition exceptionnelle retrace l'exil à Madagascar de feu Mohammed V
Lesinfos.ma
Football : La LIGA refuse le transfert de Neymar !
Lesinfos.ma
opam - cmdliner - topkg cycle resolved upstream
Hendrik Tews
Re: opam - cmdliner - topkg cycle resolved upstream
Ximin Luo
Re: opam - cmdliner - topkg cycle resolved upstream
Daniel Bünzli
Exploit scientifique : Des chercheurs modifient le génome sur des embryons humains !
Lesinfos.ma
Action - Réaction : Le plan d'urgence d'El Othmani dévoilé, suite au sévère discours royal [Vidéo]
Lesinfos.ma
lablgtkmathview is marked for autoremoval from testing
Debian testing autoremoval watch
<Possible follow-ups>
lablgtkmathview is marked for autoremoval from testing
Debian testing autoremoval watch
Bug#870932: ocamlduce: should ocamlduce be removed from unstable?
Lucas Nussbaum
Bug#870966: janest-core: should janest-core be removed from unstable?
Lucas Nussbaum
Re: Bug#870151: zeroinstall-injector FTBFS with OCaml 4.05.0: Option -a cannot be used with .cmxa input files.
Stéphane Glondu
Bug#871277: libgdome2-cpp-smart0v5: requires rebuild against GCC 7 and symbols/shlibs bump
jcowgill
Bug#871277: marked as done (libgdome2-cpp-smart0v5: requires rebuild against GCC 7 and symbols/shlibs bump)
Debian Bug Tracking System
Bug#871469: transition: ocaml
Stéphane Glondu
Message not available
Re: Bug#871469: transition: ocaml
Stéphane Glondu
Bug#869324: marked as done (Updating the gmetadom Uploaders list)
Debian Bug Tracking System
Processing of gmetadom_0.2.6-7_amd64.changes
Debian FTP Masters
gmetadom_0.2.6-7_amd64.changes ACCEPTED into unstable
Debian FTP Masters
Bug#869325: marked as done (Updating the pycaml Uploaders list)
Debian Bug Tracking System
Processing of pycaml_0.82-15_amd64.changes
Debian FTP Masters
pycaml_0.82-15_amd64.changes ACCEPTED into unstable
Debian FTP Masters
Bug#869321: marked as done (Updating the camltemplate Uploaders list)
Debian Bug Tracking System
Processing of camltemplate_1.0.2-2_amd64.changes
Debian FTP Masters
camltemplate_1.0.2-2_amd64.changes ACCEPTED into unstable
Debian FTP Masters
Processing of mlpcap_0.9-17_amd64.changes
Debian FTP Masters
Bug#869323: marked as done (Updating the mlpcap Uploaders list)
Debian Bug Tracking System
mlpcap_0.9-17_amd64.changes ACCEPTED into unstable
Debian FTP Masters
Re: Update xml-light to 2.4
Stéphane Glondu
Re: Update xml-light to 2.4
Andy Li
Re: Update xml-light to 2.4
Stéphane Glondu
Re: RFS: ocaml-sedlex/1.99.3-1
Stéphane Glondu
Processing of xstr_0.2.1-22_amd64.changes
Debian FTP Masters
Bug#869320: marked as done (Updating the xstr Uploaders list)
Debian Bug Tracking System
xstr_0.2.1-22_amd64.changes ACCEPTED into unstable
Debian FTP Masters
Processing of xml-light_2.4-1_amd64.changes
Debian FTP Masters
xml-light_2.4-1_amd64.changes ACCEPTED into unstable
Debian FTP Masters
Processing of ocaml-doc_4.05-1~exp1_amd64.changes
Debian FTP Masters
ocaml-doc_4.05-1~exp1_amd64.changes ACCEPTED into experimental
Debian FTP Masters
Package maintenance of Frama-C
Mehdi Dogguy
Re: Package maintenance of Frama-C
Ralf Treinen
Re: Package maintenance of Frama-C
Mehdi Dogguy
Processing of frama-c_20170501+phosphorus+dfsg-1_amd64.changes
Debian FTP Masters
frama-c_20170501+phosphorus+dfsg-1_amd64.changes ACCEPTED into unstable
Debian FTP Masters
Bug#784050: Removed package(s) from unstable
Debian FTP Masters
Message not available
Bug#666257: marked as done (libderiving-ocaml: Programs using libderiving fail to link (archive missing in META))
Debian Bug Tracking System
Message not available
Bug#869322: marked as done (Updating the ocaml-deriving Uploaders list)
Debian Bug Tracking System
<Possible follow-ups>
Bug#784050: Removed package(s) from unstable
Debian FTP Masters
Bug#580092: marked as done (new syntax in OCaml 3.12 for overridden methods)
Debian Bug Tracking System
updated cmdliner
Hendrik Tews
Re: updated cmdliner
Stéphane Glondu
Re: updated cmdliner
Hendrik Tews
Bug#871912: frama-c FTBFS on ppc64el/s390x/mips*: configure: error: native dynlink does not work.
Adrian Bunk
Bug#871912: frama-c FTBFS on ppc64el/s390x/mips*: configure: error: native dynlink does not work.
Mehdi Dogguy
Bug#484497: marked as done (please ship the menhir pdf manual)
Debian Bug Tracking System
menhir_20170712-1_amd64.changes ACCEPTED into unstable, unstable
Debian FTP Masters
Re: [Pkg-ocaml-maint-commits] [cmdliner] 03/03: update packaging using the upstream Makefile
Stéphane Glondu
Re: [Pkg-ocaml-maint-commits] [cmdliner] 03/03: update packaging using the upstream Makefile
Hendrik Tews
Re: [Pkg-ocaml-maint-commits] [cmdliner] 03/03: update packaging using the upstream Makefile
Hendrik Tews
Bug#871990: ocaml-interp: convert the menu file to a desktop file
Pino Toscano
Bug#871990: ocaml-interp: convert the menu file to a desktop file
Ximin Luo
Processed: Re: Bug#871990: ocaml-interp: convert the menu file to a desktop file
Debian Bug Tracking System
matita is marked for autoremoval from testing
Debian testing autoremoval watch
gmetadom is marked for autoremoval from testing
Debian testing autoremoval watch
Bug#872281: why FTBFS with frama-c 20170501+phosphorus+dfsg-1
Adrian Bunk
mlpcap is marked for autoremoval from testing
Debian testing autoremoval watch
Bug#873233: Updating the perl4caml Uploaders list
Mattia Rizzolo
Bug#873234: Updating the otags Uploaders list
Mattia Rizzolo
Bug#873235: Updating the omake Uploaders list
Mattia Rizzolo
Bug#873237: Updating the ocaml-reins Uploaders list
Mattia Rizzolo
Bug#873236: Updating the ocamlcreal Uploaders list
Mattia Rizzolo
Bug#873238: Updating the ocaml-getopt Uploaders list
Mattia Rizzolo
Bug#873239: Updating the mlgmp Uploaders list
Mattia Rizzolo
Re: Bug#869114: ITP: ocaml-libtopkg -- packager for distributing OCaml software
Hendrik Tews
ppx-deriving-yojson_3.0-1_amd64.changes REJECTED
Luca Falavigna
ocaml-gen_0.4.0.1-1_amd64.changes ACCEPTED into unstable, unstable
Debian FTP Masters
Bug#873711: ben: HTML trackers don't match release.debian.org due to typo in CSS
Bas Couwenberg
Bug#873781: ocaml-gen: FTBFS without ocamlopt: /usr/lib/ocaml/gen/*.a missing
Aaron M. Ucko
Bug#873781: ocaml-gen: FTBFS without ocamlopt: /usr/lib/ocaml/gen/*.a missing
Andy Li
jbuilder_1.0~beta11-1_amd64.changes ACCEPTED into unstable, unstable
Debian FTP Masters
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
]
[
Date Index
] [
Subject Index
] [
Author Index
] [
Other Debian Lists
] [
Debian Home
]
Mail converted by
MHonArc