debian-ocaml-maint Apr 2018 by subject
|
[previous page]
|
Page 1 of 1 |
[next page]
|
|
[Thread Index]
[Date Index]
[Author Index]
[Other Debian Lists]
[Debian Home]
Fwd: [alioth deprecation] Please remove your unused and/or migrated repositories
alioth -> salsa migration
apron is marked for autoremoval from testing
Bug#869846: marked as done (dose-builddebcheck: plural error in error message)
Bug#874249: unison is broken if not at least one older version also available
Bug#877267: ocaml-nox: broken symlink: /usr/share/doc/ocaml-nox/README.gz -> ../ocaml-base-nox/README.gz
Bug#894545: jbuilder: Sets wrong libdir in configure
Bug#894621: ocaml-rope FTBFS: Error: Library "bytes" not found
Bug#895103: marked as done (why3 server broken on multiple architectures)
Bug#895103: why3 server broken on multiple architectures
Bug#895104: why3: skip cvc4 autopkgtest on architectures without cvc4
Bug#895166: ben: move out of asciidoc
Bug#895472: ocaml: CVE-2018-9838
Bug#895994: ocaml-nox: Stop recommending deprecated camlp4
Bug#896084: dose-builddebcheck: Finds invalid solution with versioned provides
Bug#896084: marked as done (dose-builddebcheck: Finds invalid solution with versioned provides)
Bug#896506: apt-cudf: aspcud doesn't find solution with +sum(solution,apt-pin) while without it does
Bug#896650: apt-cudf: please document the optimization criterial syntax
dose3_5.0.1-10_source.changes ACCEPTED into unstable
dune_1.0~beta20-1_amd64.changes is NEW
dune_1.0~beta20-1_amd64.changes REJECTED
ocaml-dtools_0.3.4-1_amd64.changes ACCEPTED into unstable
ppx-deriving-yojson_3.1-1_amd64.changes ACCEPTED into unstable, unstable
Processed (with 1 error): asciidoc: deprecate in Debian - forgotten blocker
Processed: Bug #873711 in ben marked as pending
Processed: limit source to ben, tagging 895166
Processed: limit source to ocaml, tagging 895994
Processed: Re: Bug#894621: ocaml-rope FTBFS: Error: Library "bytes" not found
Processed: Re: ocaml-nox: broken symlink: /usr/share/doc/ocaml-nox/README.gz -> ../ocaml-base-nox/README.gz
Processed: tagging 894088
Processed: tagging 894545
Processed: tagging 895104
Processing of dose3_5.0.1-10_source.changes
Processing of dune_1.0~beta20-1_amd64.changes
Processing of ocaml-dtools_0.3.4-1_amd64.changes
Processing of why3_0.88.3-2_source.changes
Salsa Group Access Request - paddatrapper-guest
Sonia
why3_0.88.3-2_source.changes ACCEPTED into unstable
The last update was on 00:35 GMT Tue Jun 11. There are 55 messages. Page 1 of 1.
[Thread Index]
[Subject Index]
[Author Index]
[Other Debian Lists]
[Debian Home]
Mail converted by MHonArc