debian-ocaml-maint Aug 2017 by subject

[First Page] <
[previous page]
Page 1 of 1 >
[next page]
[Last 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.

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