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