debian-ocaml-maint Aug 2023 by author

[previous page]

Page 3 of 3

[next page]

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

Debian testing autoremoval watch

pxp is marked for autoremoval from testing Aug 10
pcre-ocaml is marked for autoremoval from testing Aug 24
coq-reduction-effects is marked for autoremoval from testing Aug 04
mathcomp-abel is marked for autoremoval from testing Aug 04
mathcomp-zify is marked for autoremoval from testing Aug 04
coq-record-update is marked for autoremoval from testing Aug 04
coq-math-classes is marked for autoremoval from testing Aug 04
coq-hammer is marked for autoremoval from testing Aug 04
crowbar is marked for autoremoval from testing Aug 09
ocamldap is marked for autoremoval from testing Aug 19
coq-gappa is marked for autoremoval from testing Aug 04
coq-unicoq is marked for autoremoval from testing Aug 04
coq-deriving is marked for autoremoval from testing Aug 04
coq-hierarchy-builder is marked for autoremoval from testing Aug 03
coq-relation-algebra is marked for autoremoval from testing Aug 04
ocaml-duppy is marked for autoremoval from testing Aug 19
ocamlnet is marked for autoremoval from testing Aug 10
ocamlviz is marked for autoremoval from testing Aug 04
coq-extructures is marked for autoremoval from testing Aug 04
ocaml-cohttp is marked for autoremoval from testing Aug 12

Debian testing watch

ocaml-mad 0.5.2-3 MIGRATED to testing Aug 22
ocaml-vorbis 0.8.0-4 MIGRATED to testing Aug 01

debian-bts-link

[bts-link] source package src:ocaml-duppy Aug 03
[bts-link] source package ocaml-dune Aug 24
[bts-link] source package ocaml-dune Aug 28
[bts-link] source package src:ocsigenserver Aug 03

Emanuele Rocca

Bug#1049958: coccinelle: FTBFS on armhf - Fatal error: out of memory Aug 17

Helge Deller

Bug#1050178: ocaml-extunix FTBFS on hppa Aug 21

Helmut Grohne

julien . puydt

Julien Puydt

Bug#1044637: marked as pending in coq Aug 19

Lucas Nussbaum

Bug#1044896: cryptokit: Fails to build source after successful build Aug 13
Bug#1046640: ocamlmakefile: Fails to build source after successful build Aug 13
Bug#1044907: coq-relation-algebra: Fails to build source after successful build Aug 13
Bug#1045742: ocaml-pulseaudio: Fails to build source after successful build Aug 13
Bug#1047349: morbig: Fails to build source after successful build Aug 13
Bug#1049724: ocaml-uucp: Fails to build binary packages again after successful build Aug 16
Bug#1044102: advi: Fails to build source after successful build Aug 13
Bug#1045468: psmt2-frontend: Fails to build source after successful build Aug 13
Bug#1045378: postgresql-ocaml: Fails to build source after successful build Aug 13
Bug#1048450: pgocaml: Fails to build source after successful build Aug 14
Bug#1046168: ocamlweb: Fails to build source after successful build Aug 13
Bug#1047447: ocaml-csexp: Fails to build source after successful build Aug 13
Bug#1046147: menhir: Fails to build source after successful build Aug 13
Bug#1049230: ocaml: Fails to build source after successful build Aug 14
Bug#1047520: janest-ocaml-compiler-libs: Fails to build source after successful build Aug 13
Bug#1044267: coqprime: Fails to build source after successful build Aug 13
Bug#1047114: omake: Fails to build source after successful build Aug 13
Bug#1046275: ocaml-uunf: Fails to build source after successful build Aug 13
Bug#1044207: coq-equations: Fails to build source after successful build Aug 13
Bug#1047504: mysql-ocaml: Fails to build source after successful build Aug 13
Bug#1044276: coq-dpdgraph: Fails to build source after successful build Aug 13
Bug#1044914: coq-math-classes: Fails to build source after successful build Aug 13
Bug#1048676: ocaml-ctypes: Fails to build source after successful build Aug 14
Bug#1045816: tophide: Fails to build source after successful build Aug 13
Bug#1046386: ocaml-atd: Fails to build source after successful build Aug 13
Bug#1046623: ocaml-config-file: Fails to build source after successful build Aug 13
Bug#1044177: coq-libhyps: Fails to build source after successful build Aug 13
Bug#1044296: coqeal: Fails to build source after successful build Aug 13
Bug#1045076: coq-interval: Fails to build source after successful build Aug 13
Bug#1048604: ocaml-asn1-combinators: Fails to build source after successful build Aug 14
Bug#1046087: ocurl: Fails to build source after successful build Aug 13
Bug#1048599: mathcomp-multinomials: Fails to build source after successful build Aug 14
Bug#1044354: easy-format: Fails to build source after successful build Aug 13
Bug#1044477: coq-bignums: Fails to build source after successful build Aug 13
Bug#1047502: planets: Fails to build source after successful build Aug 13
Bug#1044961: elpi: Fails to build source after successful build Aug 13
Bug#1048381: paramcoq: Fails to build source after successful build Aug 13
Bug#1047255: mathcomp-finmap: Fails to build source after successful build Aug 13
Bug#1049478: ocamlagrep: Fails to build binary packages again after successful build Aug 16
Bug#1044393: coq-iris: Fails to build source after successful build Aug 13
Bug#1045611: ocaml-benchmark: Fails to build source after successful build Aug 13
Bug#1049764: ocamlnet: Fails to build binary packages again after successful build Aug 16
Bug#1048153: nss-passwords: Fails to build source after successful build Aug 13
Bug#1047026: ocaml-reins: Fails to build source after successful build Aug 13
Bug#1044473: freetennis: Fails to build source after successful build Aug 13
Bug#1046387: ocamlwc: Fails to build source after successful build Aug 13
Bug#1045385: ocaml-gstreamer: Fails to build source after successful build Aug 13
Bug#1045289: ocaml-x509: Fails to build source after successful build Aug 13
Bug#1049045: mathcomp-abel: Fails to build source after successful build Aug 14
Bug#1044744: cudf: Fails to build source after successful build Aug 13
Bug#1046848: ocaml-ladspa: Fails to build source after successful build Aug 13
Bug#1045879: utop: Fails to build source after successful build Aug 13
Bug#1047533: ocaml-sqlite3: Fails to build source after successful build Aug 13
Bug#1045075: coq-hott: Fails to build source after successful build Aug 13
Bug#1044750: coq-hammer: Fails to build source after successful build Aug 13
Bug#1049468: ocaml-mccs: Fails to build binary packages again after successful build Aug 16
Bug#1048312: pxp: Fails to build source after successful build Aug 13
Bug#1044637: coq: Fails to build source after successful build Aug 13
Bug#1044870: coq-deriving: Fails to build source after successful build Aug 13
Bug#1045537: ocaml-speex: Fails to build source after successful build Aug 13
Bug#1048459: tuareg-mode: Fails to build source after successful build Aug 14
Bug#1049098: ocaml-mad: Fails to build source after successful build Aug 14
Bug#1049221: ocaml-voaacenc: Fails to build source after successful build Aug 14
Bug#1044385: coquelicot: Fails to build source after successful build Aug 13
Bug#1045855: ocaml-ca-certs: Fails to build source after successful build Aug 13
Bug#1046879: ocaml-pprint: Fails to build source after successful build Aug 13
Bug#1046577: ocaml-sha: Fails to build source after successful build Aug 13
Bug#1044920: gmetadom: Fails to build source after successful build Aug 13
Bug#1048057: ocaml-zarith: Fails to build source after successful build Aug 13
Bug#1047964: ocaml-visitors: Fails to build source after successful build Aug 13
Bug#1046412: unison-2.52: Fails to build source after successful build Aug 13
Bug#1043934: camlbz2: Fails to build source after successful build Aug 13
Bug#1044629: coq-reglang: Fails to build source after successful build Aug 13
Bug#1043637: camlmix: Fails to build source after successful build Aug 13
Bug#1046969: why3: Fails to build source after successful build Aug 13
Bug#1043761: camlp4: Fails to build source after successful build Aug 13
Bug#1048637: ocaml-cpu: Fails to build source after successful build Aug 14
Bug#1045073: coq-stdpp: Fails to build source after successful build Aug 13
Bug#1048587: ocaml-bjack: Fails to build source after successful build Aug 14
Bug#1048367: hevea: Fails to build source after successful build Aug 13
Bug#1043672: coccinelle: Fails to build source after successful build Aug 13
Bug#1048519: ocaml-taglib: Fails to build source after successful build Aug 14
Bug#1046002: ocamlcreal: Fails to build source after successful build Aug 13
Bug#1044808: coq-record-update: Fails to build source after successful build Aug 13
Bug#1043867: bibtex2html: Fails to build source after successful build Aug 13
Bug#1047051: ocaml-gavl: Fails to build source after successful build Aug 13
Bug#1045474: ocaml-mccs: Fails to build source after successful build Aug 13
Bug#1045427: ocaml-samplerate: Fails to build source after successful build Aug 13
Bug#1044275: coq-hierarchy-builder: Fails to build source after successful build Aug 13
Bug#1047262: ocaml-graphics: Fails to build source after successful build Aug 13
Bug#1045802: ocaml-afl-persistent: Fails to build source after successful build Aug 13
Bug#1044251: coq-elpi: Fails to build source after successful build Aug 13
Bug#1046759: mathcomp-real-closed: Fails to build source after successful build Aug 13
Bug#1049623: ocaml-voaacenc: Fails to build binary packages again after successful build Aug 16
Bug#1044466: coq-extructures: Fails to build source after successful build Aug 13
Bug#1046405: ocamlsdl: Fails to build source after successful build Aug 13
Bug#1046870: ocaml-frei0r: Fails to build source after successful build Aug 13
Bug#1045166: ocaml-odoc-parser: Fails to build source after successful build Aug 13
Bug#1046357: ocaml-extunix: Fails to build source after successful build Aug 13
Bug#1044146: coq-unimath: Fails to build source after successful build Aug 13
Bug#1043725: belenios: Fails to build source after successful build Aug 13
Bug#1048934: ocamlnet: Fails to build source after successful build Aug 14
Bug#1044944: coq-gappa: Fails to build source after successful build Aug 13
Bug#1044951: coq-menhirlib: Fails to build source after successful build Aug 13
Bug#1044763: coq-unicoq: Fails to build source after successful build Aug 13
Bug#1044703: coq-mtac2: Fails to build source after successful build Aug 13
Bug#1046963: ocaml-uucd: Fails to build source after successful build Aug 13
Bug#1044017: camlp5: Fails to build source after successful build Aug 13
Bug#1047233: ocaml-bigarray-compat: Fails to build source after successful build Aug 13
Bug#1048025: opam: Fails to build source after successful build Aug 13
Bug#1043823: camomile: Fails to build source after successful build Aug 13
Bug#1044622: findlib: Fails to build source after successful build Aug 13
Bug#1044361: flocq: Fails to build source after successful build Aug 13
Bug#1044568: extlib: Fails to build source after successful build Aug 13
Bug#1047784: ocaml-topkg: Fails to build source after successful build Aug 13
Bug#1045985: ocaml-lo: Fails to build source after successful build Aug 13
Bug#1047990: ocaml-gettext: Fails to build source after successful build Aug 13
Bug#1047042: ocaml-obuild: Fails to build source after successful build Aug 13
Bug#1049060: ocaml-parany: Fails to build source after successful build Aug 14
Bug#1046301: lablgtk-extras: Fails to build source after successful build Aug 13
Bug#1044511: coq-quickchick: Fails to build source after successful build Aug 13
Bug#1044715: coq-ext-lib: Fails to build source after successful build Aug 13
Bug#1049101: perl4caml: Fails to build source after successful build Aug 14
Bug#1046306: ocaml-eqaf: Fails to build source after successful build Aug 13
Bug#1047779: ocaml-bitstring: Fails to build source after successful build Aug 13
Bug#1049555: ocaml-uunf: Fails to build binary packages again after successful build Aug 16
Bug#1048660: oasis: Fails to build source after successful build Aug 14
Bug#1048064: pcre-ocaml: Fails to build source after successful build Aug 13
Bug#1044397: coq-simple-io: Fails to build source after successful build Aug 13
Bug#1047108: mathcomp-algebra-tactics: Fails to build source after successful build Aug 13
Bug#1047846: ocamlagrep: Fails to build source after successful build Aug 13
Bug#1049064: ocaml-pp: Fails to build source after successful build Aug 14
Bug#1047364: ocaml-dssi: Fails to build source after successful build Aug 13
Bug#1048216: zed: Fails to build source after successful build Aug 13
Bug#1046478: ocaml-alcotest: Fails to build source after successful build Aug 13
Bug#1046343: ocamlviz: Fails to build source after successful build Aug 13
Bug#1045288: ocaml-shine: Fails to build source after successful build Aug 13
Bug#1049273: ott: Fails to build source after successful build Aug 14
Bug#1044395: coq-reduction-effects: Fails to build source after successful build Aug 13

Paul Gevers

Ralf Treinen

Bug#1041164: dose-distcheck: fails with (W)Dose_common: package ncurses-base:amd64 (= 6.4-4) is not associate with an integer in the given universe" Aug 21

Richard W.M. Jones

Re: [Git][ocaml-team/freetennis][master] Update changelog Aug 15
Re: [Git][ocaml-team/freetennis][master] Update changelog Aug 31

Sebastian Ramacher

Bug#1050027: Stop blocking other packages migration Aug 23

Simon McVittie

Bug#1050027: libcoq-mathcomp-classical: undeclared file conflict with libcoq-mathcomp-analysis/bookworm+trixie Aug 23

Yuri D'Elia

Bug#1043252: Ocaml 5.0.0 Aug 08
Bug#1043252: Ocaml 5.0.0 Aug 07

The last update was on 14:20 GMT Thu Aug 31. There are 1184 messages. Page 3 of 3.

[previous month]

[previous page]

Page 3 of 3

[next page]

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

Mail converted by MHonArc