debian-ocaml-maint Oct 2024 by author

[previous page]

Page 1 of 1

[next page]

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

Stéphane Glondu (@glondu)

[Git][ocaml-team/ppx-deriving] Pushed new tag upstream/6.0.3 Oct 11
[Git][ocaml-team/uuidm] Pushed new tag archive/debian/0.9.9-1 Oct 11
[Git][ocaml-team/uuidm][pristine-tar] pristine-tar data for uuidm_0.9.9.orig.tar.bz2 Oct 11
[Git][ocaml-team/ppx-deriving][upstream] New upstream version 6.0.3 Oct 11
[Git][ocaml-team/ppx-deriving][master] 5 commits: New upstream version 6.0.3 Oct 11
[Git][ocaml-team/ppx-deriving] Pushed new tag archive/debian/6.0.3-1 Oct 11
[Git][ocaml-team/ppx-deriving][pristine-tar] pristine-tar data for ppx-deriving_6.0.3.orig.tar.gz Oct 11
[Git][ocaml-team/ppx-deriving] Pushed new tag debian/6.0.3-1 Oct 11
[Git][ocaml-team/uuidm] Pushed new tag upstream/0.9.9 Oct 11
[Git][ocaml-team/uuidm] Pushed new tag debian/0.9.9-1 Oct 11

Stéphane Glondu

Re: Questions Regarding Debian OCaml Packaging and FHS Compliance for Shared Files Oct 08
Bug#1084930: ITP: ocaml-mirage-kv-mem -- in-memory key value store for MirageOS Oct 11
Bug#1073882: FTBFS with OCaml 5.2.0 (Needs porting) Oct 15

AAA car emergency kit Department

Expiring Soon: hurry up ! Rewards have arrived! Oct 19

Adrian Bunk

Bug#1084815: lem FTBFS on bytecode architectures Oct 09
Bug#1083085: ben: debcheck parallelism issue with more archs than cores Oct 01

Bo YU

Re: Questions Regarding Debian OCaml Packaging and FHS Compliance for Shared Files Oct 05
Re: Questions Regarding Debian OCaml Packaging and FHS Compliance for Shared Files Oct 08
Bug#1073882: FTBFS with OCaml 5.2.0 (Needs porting) Oct 15

Debian Bug Tracking System

Debian FTP Masters

ocaml-uucp_16.0.0-1_source.changes ACCEPTED into unstable Oct 11
Processing of ocaml-iter_1.8-1_amd64.changes Oct 13
Processing of ocaml-uucp_16.0.0-1_source.changes Oct 11
ocaml-dscheck_0.5.0-1_amd64.changes ACCEPTED into unstable Oct 25
Processing of ocaml-mirage-kv_6.1.1-2_source.changes Oct 08
ocaml-mem-usage_0.1.1-1_amd64.changes is NEW Oct 11
ocaml-mdx_2.4.1-1_amd64.changes is NEW Oct 13
ocaml-iter_1.8-1_amd64.changes ACCEPTED into unstable Oct 17
ocaml-multicore-magic_2.3.0-1_amd64.changes is NEW Oct 13
ocaml-version_3.6.9-1_source.changes ACCEPTED into unstable Oct 11
ocaml-mem-usage_0.1.1-1_amd64.changes ACCEPTED into unstable Oct 12
Processing of lem_2022-12-10+dfsg2-4_source.changes Oct 14
Processing of ocaml-domain-local-await_1.0.1-1_amd64.changes Oct 26
Processing of ocaml-uuseg_16.0.0-1_source.changes Oct 11
ocaml-domain-local-await_1.0.1-1_amd64.changes ACCEPTED into unstable Oct 30
Processing of ocaml-ffmpeg_1.2.0-2_source.changes Oct 26
ocaml-multicore-magic_2.3.0-1_amd64.changes ACCEPTED into unstable Oct 17
Processing of ppxlib_0.33.0-2_source.changes Oct 14
ocaml-containers_3.14+dfsg-2_source.changes ACCEPTED into unstable Oct 21
Processing of ocaml-mccs_1.1+18-2_source.changes Oct 08
ocaml-mirage-kv_6.1.1-2_source.changes ACCEPTED into unstable Oct 08
ocaml-multicore-magic_2.3.0-2_source.changes ACCEPTED into unstable Oct 26
ocaml-mccs_1.1+18-2_source.changes ACCEPTED into unstable Oct 08
Processing of ocaml-dscheck_0.5.0-2_source.changes Oct 26
ocaml-oseq_0.5.1-1_amd64.changes is NEW Oct 13
Processing of lem_2022-12-10+dfsg2-3_source.changes Oct 08
Processing of ocaml-thread-table_1.0.0-1_amd64.changes Oct 26
ocaml-oseq_0.5.1-2_source.changes ACCEPTED into unstable Oct 21
ocaml-multicore-bench_0.1.7-1_amd64.changes is NEW Oct 26
ocaml-containers_3.14+dfsg-1_amd64.changes is NEW Oct 13
Processing of ocaml-containers_3.14+dfsg-1_amd64.changes Oct 13
ocaml-dscheck_0.5.0-2_source.changes ACCEPTED into unstable Oct 26
Processing of ocaml-iter_1.8-2_source.changes Oct 21
ppx-deriving_6.0.3-1_source.changes ACCEPTED into unstable Oct 11
Processing of ocaml-mem-usage_0.1.1-2_source.changes Oct 13
ocaml-oseq_0.5.1-1_amd64.changes ACCEPTED into unstable Oct 17
ocaml-thread-table_1.0.0-1_amd64.changes ACCEPTED into unstable Oct 30
lem_2022-12-10+dfsg2-3_source.changes ACCEPTED into unstable Oct 08
Processing of ocaml-iter_1.8-1_amd64.changes Oct 13
ocaml-backoff_0.1.1-1_amd64.changes is NEW Oct 13
ocaml-mirage-kv-mem_3.2.1-1_amd64.changes ACCEPTED into unstable Oct 12
Processing of uuidm_0.9.9-1_source.changes Oct 11
ocaml-mdx_2.4.1-1_amd64.changes ACCEPTED into unstable Oct 17
Processing of ocaml-multicore-magic_2.3.0-1_amd64.changes Oct 13
ocaml-iter_1.8-1_amd64.changes is NEW Oct 13
Processing of ocaml-mirage-kv-mem_3.2.1-1_amd64.changes Oct 11
lem_2022-12-10+dfsg2-4_source.changes ACCEPTED into unstable Oct 14
Processing of ocaml-multicore-magic_2.3.0-2_source.changes Oct 26
ocaml-uuseg_16.0.0-1_source.changes ACCEPTED into unstable Oct 11
ocaml-mdx_2.4.1-1_amd64.changes is NEW Oct 12
Processing of ocaml-multicore-bench_0.1.7-1_amd64.changes Oct 26
Processing of ocaml-x509_1.0.4-1_source.changes Oct 11
ocaml-crunch_3.3.1-2_source.changes ACCEPTED into unstable Oct 13
ocaml-containers_3.14+dfsg-1_amd64.changes ACCEPTED into unstable Oct 17
ocaml-domain-local-await_1.0.1-1_amd64.changes is NEW Oct 26
ppxlib_0.33.0-2_source.changes ACCEPTED into unstable Oct 14
Processing of ocaml-crunch_3.3.1-2_source.changes Oct 13
ocaml-x509_1.0.4-1_source.changes ACCEPTED into unstable Oct 11
Processing of ocaml-dscheck_0.5.0-1_amd64.changes Oct 13
ocaml-mem-usage_0.1.1-2_source.changes ACCEPTED into unstable Oct 13
ocaml-multicore-bench_0.1.7-1_amd64.changes ACCEPTED into unstable Oct 30
Processing of ocaml-oseq_0.5.1-1_amd64.changes Oct 13
Processing of ocaml-version_3.6.9-1_source.changes Oct 11
ocaml-dscheck_0.5.0-1_amd64.changes is NEW Oct 13
Processing of ocaml-mem-usage_0.1.1-1_amd64.changes Oct 11
ocaml-mirage-kv-mem_3.2.1-1_amd64.changes is NEW Oct 11
uuidm_0.9.9-1_source.changes ACCEPTED into unstable Oct 11
ocaml-thread-table_1.0.0-1_amd64.changes is NEW Oct 26
ocaml-ffmpeg_1.2.0-2_source.changes ACCEPTED into unstable Oct 26
Processing of ocaml-mdx_2.4.1-1_amd64.changes Oct 13
Processing of ocaml-containers_3.14+dfsg-2_source.changes Oct 21
Processing of ppx-deriving_6.0.3-1_source.changes Oct 11
ocaml-backoff_0.1.1-1_amd64.changes ACCEPTED into unstable Oct 17
ocaml-mirage-kv_6.1.1-1_amd64.changes ACCEPTED into unstable Oct 06
ocaml-iter_1.8-1_amd64.changes is NEW Oct 13
Processing of ocaml-oseq_0.5.1-2_source.changes Oct 21
Processing of ocaml-mdx_2.4.1-1_amd64.changes Oct 12
Processing of ocaml-backoff_0.1.1-1_amd64.changes Oct 13
ocaml-iter_1.8-2_source.changes ACCEPTED into unstable Oct 21

Debian testing autoremoval watch

dose3 is marked for autoremoval from testing Oct 08
ocamlgraph is marked for autoremoval from testing Oct 08
ocaml-uunf is marked for autoremoval from testing Oct 08
ocaml-qtest is marked for autoremoval from testing Oct 08
nurpawiki is marked for autoremoval from testing Oct 08
coq-serapi is marked for autoremoval from testing Oct 08
utop is marked for autoremoval from testing Oct 08
ocaml-crunch is marked for autoremoval from testing Oct 08
ocaml-linenoise is marked for autoremoval from testing Oct 08
coq-gappa is marked for autoremoval from testing Oct 08
ocaml-uuseg is marked for autoremoval from testing Oct 08
mathcomp-finmap is marked for autoremoval from testing Oct 08
coq-simple-io is marked for autoremoval from testing Oct 08
coq-quickchick is marked for autoremoval from testing Oct 08
opam is marked for autoremoval from testing Oct 08
coq-hott is marked for autoremoval from testing Oct 08
ocplib-simplex is marked for autoremoval from testing Oct 08
ocaml-pbkdf is marked for autoremoval from testing Oct 08
unison-2.53 is marked for autoremoval from testing Oct 08
mathcomp-multinomials is marked for autoremoval from testing Oct 08
uutf is marked for autoremoval from testing Oct 08
morbig is marked for autoremoval from testing Oct 08
ocaml-eqaf is marked for autoremoval from testing Oct 08
opam-0install-cudf is marked for autoremoval from testing Oct 08
ocaml-ssl is marked for autoremoval from testing Oct 08
ocaml-cry is marked for autoremoval from testing Oct 08
meta-ocaml is marked for autoremoval from testing Oct 08
ocaml-x509 is marked for autoremoval from testing Oct 08
camlbz2 is marked for autoremoval from testing Oct 08
coq-dpdgraph is marked for autoremoval from testing Oct 08
ocaml-fpath is marked for autoremoval from testing Oct 08
ocaml-mccs is marked for autoremoval from testing Oct 10
not-ocamlfind is marked for autoremoval from testing Oct 08
ocaml-astring is marked for autoremoval from testing Oct 08
lwt-ssl is marked for autoremoval from testing Oct 08
coq-math-classes is marked for autoremoval from testing Oct 08
ocaml-mccs is marked for autoremoval from testing Oct 14
aac-tactics is marked for autoremoval from testing Oct 08
ocaml-csv is marked for autoremoval from testing Oct 08
js-of-ocaml is marked for autoremoval from testing Oct 08
ott is marked for autoremoval from testing Oct 08
coq-reglang is marked for autoremoval from testing Oct 08
nss-passwords is marked for autoremoval from testing Oct 08
react is marked for autoremoval from testing Oct 08
coq-stdpp is marked for autoremoval from testing Oct 08
coq-hammer is marked for autoremoval from testing Oct 08
mathcomp-algebra-tactics is marked for autoremoval from testing Oct 08
ocaml-bos is marked for autoremoval from testing Oct 08
coqprime is marked for autoremoval from testing Oct 08
coq-equations is marked for autoremoval from testing Oct 08
wyrd is marked for autoremoval from testing Oct 08
tyxml is marked for autoremoval from testing Oct 08
coq-ext-lib is marked for autoremoval from testing Oct 08
ocamldap is marked for autoremoval from testing Oct 08
ocaml-uri is marked for autoremoval from testing Oct 08
coqeal is marked for autoremoval from testing Oct 08
jsonm is marked for autoremoval from testing Oct 08
ocurl is marked for autoremoval from testing Oct 08
why3 is marked for autoremoval from testing Oct 08
coq-mtac2 is marked for autoremoval from testing Oct 08
ocsigenserver is marked for autoremoval from testing Oct 08
nproc is marked for autoremoval from testing Oct 08
ocaml-version is marked for autoremoval from testing Oct 08
coq-bignums is marked for autoremoval from testing Oct 08
eliom is marked for autoremoval from testing Oct 08
coq-record-update is marked for autoremoval from testing Oct 08
ocaml-qcheck is marked for autoremoval from testing Oct 08
lablgtk3 is marked for autoremoval from testing Oct 08
camomile is marked for autoremoval from testing Oct 08
ocaml-logs is marked for autoremoval from testing Oct 08
ocaml-topkg is marked for autoremoval from testing Oct 08
ocaml-alcotest is marked for autoremoval from testing Oct 08
ocaml-ptime is marked for autoremoval from testing Oct 08
coq-deriving is marked for autoremoval from testing Oct 08
coq-extructures is marked for autoremoval from testing Oct 08
js-of-ocaml-ocamlbuild is marked for autoremoval from testing Oct 08
pgocaml is marked for autoremoval from testing Oct 08
ocaml-gmap is marked for autoremoval from testing Oct 08
ocaml-gettext is marked for autoremoval from testing Oct 08
ssreflect is marked for autoremoval from testing Oct 08
ocaml-expect is marked for autoremoval from testing Oct 08
ocaml-fmt is marked for autoremoval from testing Oct 08
ocaml-rresult is marked for autoremoval from testing Oct 08
ocaml-batteries is marked for autoremoval from testing Oct 08
uuidm is marked for autoremoval from testing Oct 08
headache is marked for autoremoval from testing Oct 08
ocaml-ipaddr is marked for autoremoval from testing Oct 08
frama-c is marked for autoremoval from testing Oct 08
ocaml-unix-errno is marked for autoremoval from testing Oct 08
meta-unison is marked for autoremoval from testing Oct 08
ocaml-uucp is marked for autoremoval from testing Oct 08
ocaml-stringext is marked for autoremoval from testing Oct 08
ocaml-uucd is marked for autoremoval from testing Oct 08
ocaml-base64 is marked for autoremoval from testing Oct 08
coq-reduction-effects is marked for autoremoval from testing Oct 08
ocaml-randomconv is marked for autoremoval from testing Oct 08
elpi is marked for autoremoval from testing Oct 08
laby is marked for autoremoval from testing Oct 08
ocaml-mirage-kv is marked for autoremoval from testing Oct 14
ocaml-sedlex is marked for autoremoval from testing Oct 08
ocaml-ca-certs is marked for autoremoval from testing Oct 08
mlpost is marked for autoremoval from testing Oct 08
ocaml-gen is marked for autoremoval from testing Oct 08
paramcoq is marked for autoremoval from testing Oct 08
coq-interval is marked for autoremoval from testing Oct 08
ppx-deriving-yojson is marked for autoremoval from testing Oct 08
coq-libhyps is marked for autoremoval from testing Oct 08
ocaml-spdx-licenses is marked for autoremoval from testing Oct 08
yojson is marked for autoremoval from testing Oct 08
ocaml-charinfo-width is marked for autoremoval from testing Oct 08
camlp5 is marked for autoremoval from testing Oct 08
ocaml-usb is marked for autoremoval from testing Oct 08
coq-elpi is marked for autoremoval from testing Oct 08
ocaml-asn1-combinators is marked for autoremoval from testing Oct 08
ocaml-atd is marked for autoremoval from testing Oct 08
coquelicot is marked for autoremoval from testing Oct 08
ocaml-domain-name is marked for autoremoval from testing Oct 08
coq is marked for autoremoval from testing Oct 08
ocaml-ohex is marked for autoremoval from testing Oct 08
flocq is marked for autoremoval from testing Oct 08
ocaml-merlin is marked for autoremoval from testing Oct 08
lambda-term is marked for autoremoval from testing Oct 08
ledit is marked for autoremoval from testing Oct 08
coq-unicoq is marked for autoremoval from testing Oct 08
ocamlviz is marked for autoremoval from testing Oct 08
mathcomp-real-closed is marked for autoremoval from testing Oct 08
mathcomp-bigenough is marked for autoremoval from testing Oct 08
coq-iris is marked for autoremoval from testing Oct 08
ocaml-mirage-crypto is marked for autoremoval from testing Oct 08
ocamlformat is marked for autoremoval from testing Oct 08
lwt-log is marked for autoremoval from testing Oct 08
ocsipersist is marked for autoremoval from testing Oct 08
lwt is marked for autoremoval from testing Oct 08
morsmall is marked for autoremoval from testing Oct 08
ocaml-kdf is marked for autoremoval from testing Oct 08
coq-menhirlib is marked for autoremoval from testing Oct 08
mathcomp-analysis is marked for autoremoval from testing Oct 08
obus is marked for autoremoval from testing Oct 08
ben is marked for autoremoval from testing Oct 08
coq-unimath is marked for autoremoval from testing Oct 08
ocaml-duration is marked for autoremoval from testing Oct 08
omd is marked for autoremoval from testing Oct 08
ocaml-mew-vi is marked for autoremoval from testing Oct 08
ocaml-hmap is marked for autoremoval from testing Oct 08
mathcomp-zify is marked for autoremoval from testing Oct 08
ocaml-inotify is marked for autoremoval from testing Oct 08
ocaml-cstruct is marked for autoremoval from testing Oct 08
belenios is marked for autoremoval from testing Oct 08
crowbar is marked for autoremoval from testing Oct 08
coq-relation-algebra is marked for autoremoval from testing Oct 08
reactivedata is marked for autoremoval from testing Oct 08
ocaml-digestif is marked for autoremoval from testing Oct 08
ocaml-mtime is marked for autoremoval from testing Oct 08
coq-hierarchy-builder is marked for autoremoval from testing Oct 08
camlp5-buildscripts is marked for autoremoval from testing Oct 08
coq-corn is marked for autoremoval from testing Oct 08
ocaml-odoc is marked for autoremoval from testing Oct 08
zed is marked for autoremoval from testing Oct 08
ocaml-conduit is marked for autoremoval from testing Oct 08
ocaml-hex is marked for autoremoval from testing Oct 08
ocaml-cohttp is marked for autoremoval from testing Oct 08

Hoffman Proppe

Viable Requests Oct 15

ilanekle

Photos Oct 19

Kyle Robbertze (@paddatrapper)

Thorsten Alteholz

ocaml-mdx_2.4.1-1_amd64.changes REJECTED Oct 13
ocaml-iter_1.8-1_amd64.changes REJECTED Oct 13

vimerbf (@vimerbf-guest)

[Git][ocaml-team/hol-light][master] clear some comments on d/watch again Oct 15

The last update was on 19:02 GMT Wed Oct 30. There are 274 messages. Page 1 of 1.

[previous month]

[previous page]

Page 1 of 1

[next page]

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

Mail converted by MHonArc