debian-ocaml-maint Oct 2024 by subject
![[First Page]](/images/first.png) |
[previous page]
|
Page 1 of 1 |
[next page]
|
![[Last Page]](/images/last.png) |
[Thread Index]
[Date Index]
[Author Index]
[Other Debian Lists]
[Debian Home]
[Git][ocaml-team/hol-light][master] clear some comments on d/watch again
[Git][ocaml-team/liquidsoap] Pushed new branch debian/experimental
[Git][ocaml-team/liquidsoap] Pushed new tag upstream/2.2.5.git20241007.49298da
[Git][ocaml-team/liquidsoap][debian/experimental] Add new build-dependencies
[Git][ocaml-team/liquidsoap][pristine-tar] 2 commits: pristine-tar data for liquidsoap_2.2.5.git20240729.10453cf.orig.tar.xz
[Git][ocaml-team/liquidsoap][upstream] 2 commits: New upstream version 2.2.5.git20240729.10453cf
[Git][ocaml-team/ppx-deriving] Pushed new tag archive/debian/6.0.3-1
[Git][ocaml-team/ppx-deriving] Pushed new tag debian/6.0.3-1
[Git][ocaml-team/ppx-deriving] Pushed new tag upstream/6.0.3
[Git][ocaml-team/ppx-deriving][master] 5 commits: New upstream version 6.0.3
[Git][ocaml-team/ppx-deriving][pristine-tar] pristine-tar data for ppx-deriving_6.0.3.orig.tar.gz
[Git][ocaml-team/ppx-deriving][upstream] New upstream version 6.0.3
[Git][ocaml-team/uuidm] Pushed new tag archive/debian/0.9.9-1
[Git][ocaml-team/uuidm] Pushed new tag debian/0.9.9-1
[Git][ocaml-team/uuidm] Pushed new tag upstream/0.9.9
[Git][ocaml-team/uuidm][pristine-tar] pristine-tar data for uuidm_0.9.9.orig.tar.bz2
aac-tactics is marked for autoremoval from testing
belenios is marked for autoremoval from testing
ben is marked for autoremoval from testing
Bug#1073882: FTBFS with OCaml 5.2.0 (Needs porting)
Bug#1082976: marked as done (opam: FTBFS: build fails with linking error)
Bug#1083085: ben: debcheck parallelism issue with more archs than cores
Bug#1084815: lem FTBFS on bytecode architectures
Bug#1084815: marked as done (lem FTBFS on bytecode architectures)
Bug#1084930: ITP: ocaml-mirage-kv-mem -- in-memory key value store for MirageOS
camlbz2 is marked for autoremoval from testing
camlp5 is marked for autoremoval from testing
camlp5-buildscripts is marked for autoremoval from testing
camomile is marked for autoremoval from testing
coq is marked for autoremoval from testing
coq-bignums is marked for autoremoval from testing
coq-corn is marked for autoremoval from testing
coq-deriving is marked for autoremoval from testing
coq-dpdgraph is marked for autoremoval from testing
coq-elpi is marked for autoremoval from testing
coq-equations is marked for autoremoval from testing
coq-ext-lib is marked for autoremoval from testing
coq-extructures is marked for autoremoval from testing
coq-gappa is marked for autoremoval from testing
coq-hammer is marked for autoremoval from testing
coq-hierarchy-builder is marked for autoremoval from testing
coq-hott is marked for autoremoval from testing
coq-interval is marked for autoremoval from testing
coq-iris is marked for autoremoval from testing
coq-libhyps is marked for autoremoval from testing
coq-math-classes is marked for autoremoval from testing
coq-menhirlib is marked for autoremoval from testing
coq-mtac2 is marked for autoremoval from testing
coq-quickchick is marked for autoremoval from testing
coq-record-update is marked for autoremoval from testing
coq-reduction-effects is marked for autoremoval from testing
coq-reglang is marked for autoremoval from testing
coq-relation-algebra is marked for autoremoval from testing
coq-serapi is marked for autoremoval from testing
coq-simple-io is marked for autoremoval from testing
coq-stdpp is marked for autoremoval from testing
coq-unicoq is marked for autoremoval from testing
coq-unimath is marked for autoremoval from testing
coqeal is marked for autoremoval from testing
coqprime is marked for autoremoval from testing
coquelicot is marked for autoremoval from testing
crowbar is marked for autoremoval from testing
dose3 is marked for autoremoval from testing
eliom is marked for autoremoval from testing
elpi is marked for autoremoval from testing
Expiring Soon: hurry up ! Rewards have arrived!
flocq is marked for autoremoval from testing
frama-c is marked for autoremoval from testing
headache is marked for autoremoval from testing
js-of-ocaml is marked for autoremoval from testing
js-of-ocaml-ocamlbuild is marked for autoremoval from testing
jsonm is marked for autoremoval from testing
lablgtk3 is marked for autoremoval from testing
laby is marked for autoremoval from testing
lambda-term is marked for autoremoval from testing
ledit is marked for autoremoval from testing
lem_2022-12-10+dfsg2-3_source.changes ACCEPTED into unstable
lem_2022-12-10+dfsg2-4_source.changes ACCEPTED into unstable
lwt is marked for autoremoval from testing
lwt-log is marked for autoremoval from testing
lwt-ssl is marked for autoremoval from testing
mathcomp-algebra-tactics is marked for autoremoval from testing
mathcomp-analysis is marked for autoremoval from testing
mathcomp-bigenough is marked for autoremoval from testing
mathcomp-finmap is marked for autoremoval from testing
mathcomp-multinomials is marked for autoremoval from testing
mathcomp-real-closed is marked for autoremoval from testing
mathcomp-zify is marked for autoremoval from testing
meta-ocaml is marked for autoremoval from testing
meta-unison is marked for autoremoval from testing
mlpost is marked for autoremoval from testing
morbig is marked for autoremoval from testing
morsmall is marked for autoremoval from testing
not-ocamlfind is marked for autoremoval from testing
nproc is marked for autoremoval from testing
nss-passwords is marked for autoremoval from testing
nurpawiki is marked for autoremoval from testing
obus is marked for autoremoval from testing
ocaml-alcotest is marked for autoremoval from testing
ocaml-asn1-combinators is marked for autoremoval from testing
ocaml-astring is marked for autoremoval from testing
ocaml-atd is marked for autoremoval from testing
ocaml-backoff_0.1.1-1_amd64.changes ACCEPTED into unstable
ocaml-backoff_0.1.1-1_amd64.changes is NEW
ocaml-base64 is marked for autoremoval from testing
ocaml-batteries is marked for autoremoval from testing
ocaml-bos is marked for autoremoval from testing
ocaml-ca-certs is marked for autoremoval from testing
ocaml-charinfo-width is marked for autoremoval from testing
ocaml-cohttp is marked for autoremoval from testing
ocaml-conduit is marked for autoremoval from testing
ocaml-containers_3.14+dfsg-1_amd64.changes ACCEPTED into unstable
ocaml-containers_3.14+dfsg-1_amd64.changes is NEW
ocaml-containers_3.14+dfsg-2_source.changes ACCEPTED into unstable
ocaml-crunch is marked for autoremoval from testing
ocaml-crunch_3.3.1-2_source.changes ACCEPTED into unstable
ocaml-cry is marked for autoremoval from testing
ocaml-cstruct is marked for autoremoval from testing
ocaml-csv is marked for autoremoval from testing
ocaml-digestif is marked for autoremoval from testing
ocaml-domain-local-await_1.0.1-1_amd64.changes ACCEPTED into unstable
ocaml-domain-local-await_1.0.1-1_amd64.changes is NEW
ocaml-domain-name is marked for autoremoval from testing
ocaml-dscheck_0.5.0-1_amd64.changes ACCEPTED into unstable
ocaml-dscheck_0.5.0-1_amd64.changes is NEW
ocaml-dscheck_0.5.0-2_source.changes ACCEPTED into unstable
ocaml-duration is marked for autoremoval from testing
ocaml-eqaf is marked for autoremoval from testing
ocaml-expect is marked for autoremoval from testing
ocaml-ffmpeg_1.2.0-2_source.changes ACCEPTED into unstable
ocaml-fmt is marked for autoremoval from testing
ocaml-fpath is marked for autoremoval from testing
ocaml-gen is marked for autoremoval from testing
ocaml-gettext is marked for autoremoval from testing
ocaml-gmap is marked for autoremoval from testing
ocaml-hex is marked for autoremoval from testing
ocaml-hmap is marked for autoremoval from testing
ocaml-inotify is marked for autoremoval from testing
ocaml-ipaddr is marked for autoremoval from testing
ocaml-iter_1.8-1_amd64.changes ACCEPTED into unstable
ocaml-iter_1.8-1_amd64.changes is NEW
ocaml-iter_1.8-1_amd64.changes REJECTED
ocaml-iter_1.8-2_source.changes ACCEPTED into unstable
ocaml-kdf is marked for autoremoval from testing
ocaml-linenoise is marked for autoremoval from testing
ocaml-logs is marked for autoremoval from testing
ocaml-mccs is marked for autoremoval from testing
ocaml-mccs_1.1+18-2_source.changes ACCEPTED into unstable
ocaml-mdx_2.4.1-1_amd64.changes ACCEPTED into unstable
ocaml-mdx_2.4.1-1_amd64.changes is NEW
ocaml-mdx_2.4.1-1_amd64.changes REJECTED
ocaml-mem-usage_0.1.1-1_amd64.changes ACCEPTED into unstable
ocaml-mem-usage_0.1.1-1_amd64.changes is NEW
ocaml-mem-usage_0.1.1-2_source.changes ACCEPTED into unstable
ocaml-merlin is marked for autoremoval from testing
ocaml-mew-vi is marked for autoremoval from testing
ocaml-mirage-crypto is marked for autoremoval from testing
ocaml-mirage-kv is marked for autoremoval from testing
ocaml-mirage-kv-mem_3.2.1-1_amd64.changes ACCEPTED into unstable
ocaml-mirage-kv-mem_3.2.1-1_amd64.changes is NEW
ocaml-mirage-kv_6.1.1-1_amd64.changes ACCEPTED into unstable
ocaml-mirage-kv_6.1.1-2_source.changes ACCEPTED into unstable
ocaml-mtime is marked for autoremoval from testing
ocaml-multicore-bench_0.1.7-1_amd64.changes ACCEPTED into unstable
ocaml-multicore-bench_0.1.7-1_amd64.changes is NEW
ocaml-multicore-magic_2.3.0-1_amd64.changes ACCEPTED into unstable
ocaml-multicore-magic_2.3.0-1_amd64.changes is NEW
ocaml-multicore-magic_2.3.0-2_source.changes ACCEPTED into unstable
ocaml-odoc is marked for autoremoval from testing
ocaml-ohex is marked for autoremoval from testing
ocaml-oseq_0.5.1-1_amd64.changes ACCEPTED into unstable
ocaml-oseq_0.5.1-1_amd64.changes is NEW
ocaml-oseq_0.5.1-2_source.changes ACCEPTED into unstable
ocaml-pbkdf is marked for autoremoval from testing
ocaml-ptime is marked for autoremoval from testing
ocaml-qcheck is marked for autoremoval from testing
ocaml-qtest is marked for autoremoval from testing
ocaml-randomconv is marked for autoremoval from testing
ocaml-rresult is marked for autoremoval from testing
ocaml-sedlex is marked for autoremoval from testing
ocaml-spdx-licenses is marked for autoremoval from testing
ocaml-ssl is marked for autoremoval from testing
ocaml-stringext is marked for autoremoval from testing
ocaml-thread-table_1.0.0-1_amd64.changes ACCEPTED into unstable
ocaml-thread-table_1.0.0-1_amd64.changes is NEW
ocaml-topkg is marked for autoremoval from testing
ocaml-unix-errno is marked for autoremoval from testing
ocaml-uri is marked for autoremoval from testing
ocaml-usb is marked for autoremoval from testing
ocaml-uucd is marked for autoremoval from testing
ocaml-uucp is marked for autoremoval from testing
ocaml-uucp_16.0.0-1_source.changes ACCEPTED into unstable
ocaml-uunf is marked for autoremoval from testing
ocaml-uuseg is marked for autoremoval from testing
ocaml-uuseg_16.0.0-1_source.changes ACCEPTED into unstable
ocaml-version is marked for autoremoval from testing
ocaml-version_3.6.9-1_source.changes ACCEPTED into unstable
ocaml-x509 is marked for autoremoval from testing
ocaml-x509_1.0.4-1_source.changes ACCEPTED into unstable
ocamldap is marked for autoremoval from testing
ocamlformat is marked for autoremoval from testing
ocamlgraph is marked for autoremoval from testing
ocamlviz is marked for autoremoval from testing
ocplib-simplex is marked for autoremoval from testing
ocsigenserver is marked for autoremoval from testing
ocsipersist is marked for autoremoval from testing
ocurl is marked for autoremoval from testing
omd is marked for autoremoval from testing
opam is marked for autoremoval from testing
opam-0install-cudf is marked for autoremoval from testing
ott is marked for autoremoval from testing
paramcoq is marked for autoremoval from testing
pgocaml is marked for autoremoval from testing
Photos
ppx-deriving-yojson is marked for autoremoval from testing
ppx-deriving_6.0.3-1_source.changes ACCEPTED into unstable
ppxlib_0.33.0-2_source.changes ACCEPTED into unstable
Processed (with 1 error): found 1078944 in 275, notfixed 1076478 in 7:7.0.1-1, fixed 1076478 in 7:7.0.2-1 ..., affects 1078366 ...
Processed: reassign 1082976 to libmccs-ocaml-dev, affects 1082976
Processed: tagging 1083105, fixed 1083105 in 0.4-0.1, tagging 1084371, tagging 1084504, tagging 1084368 ...
Processing of lem_2022-12-10+dfsg2-3_source.changes
Processing of lem_2022-12-10+dfsg2-4_source.changes
Processing of ocaml-backoff_0.1.1-1_amd64.changes
Processing of ocaml-containers_3.14+dfsg-1_amd64.changes
Processing of ocaml-containers_3.14+dfsg-2_source.changes
Processing of ocaml-crunch_3.3.1-2_source.changes
Processing of ocaml-domain-local-await_1.0.1-1_amd64.changes
Processing of ocaml-dscheck_0.5.0-1_amd64.changes
Processing of ocaml-dscheck_0.5.0-2_source.changes
Processing of ocaml-ffmpeg_1.2.0-2_source.changes
Processing of ocaml-iter_1.8-1_amd64.changes
Processing of ocaml-iter_1.8-2_source.changes
Processing of ocaml-mccs_1.1+18-2_source.changes
Processing of ocaml-mdx_2.4.1-1_amd64.changes
Processing of ocaml-mem-usage_0.1.1-1_amd64.changes
Processing of ocaml-mem-usage_0.1.1-2_source.changes
Processing of ocaml-mirage-kv-mem_3.2.1-1_amd64.changes
Processing of ocaml-mirage-kv_6.1.1-2_source.changes
Processing of ocaml-multicore-bench_0.1.7-1_amd64.changes
Processing of ocaml-multicore-magic_2.3.0-1_amd64.changes
Processing of ocaml-multicore-magic_2.3.0-2_source.changes
Processing of ocaml-oseq_0.5.1-1_amd64.changes
Processing of ocaml-oseq_0.5.1-2_source.changes
Processing of ocaml-thread-table_1.0.0-1_amd64.changes
Processing of ocaml-uucp_16.0.0-1_source.changes
Processing of ocaml-uuseg_16.0.0-1_source.changes
Processing of ocaml-version_3.6.9-1_source.changes
Processing of ocaml-x509_1.0.4-1_source.changes
Processing of ppx-deriving_6.0.3-1_source.changes
Processing of ppxlib_0.33.0-2_source.changes
Processing of uuidm_0.9.9-1_source.changes
Re: Questions Regarding Debian OCaml Packaging and FHS Compliance for Shared Files
react is marked for autoremoval from testing
reactivedata is marked for autoremoval from testing
ssreflect is marked for autoremoval from testing
tyxml is marked for autoremoval from testing
unison-2.53 is marked for autoremoval from testing
utop is marked for autoremoval from testing
uuidm is marked for autoremoval from testing
uuidm_0.9.9-1_source.changes ACCEPTED into unstable
uutf is marked for autoremoval from testing
Viable Requests
why3 is marked for autoremoval from testing
wyrd is marked for autoremoval from testing
yojson is marked for autoremoval from testing
zed is marked for autoremoval from testing
The last update was on 19:02 GMT Wed Oct 30. There are 274 messages. Page 1 of 1.
[Thread Index]
[Subject Index]
[Author Index]
[Other Debian Lists]
[Debian Home]
Mail converted by MHonArc