debian-ocaml-maint Aug 2022 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/aac-tactics] Pushed new tag debian/8.16.0-1
[Git][ocaml-team/aac-tactics] Pushed new tag upstream/8.16.0
[Git][ocaml-team/aac-tactics][master] 4 commits: New upstream version 8.16.0
[Git][ocaml-team/alt-ergo] Pushed new tag debian/2.4.2-1
[Git][ocaml-team/alt-ergo] Pushed new tag debian/2.4.2-2
[Git][ocaml-team/alt-ergo] Pushed new tag upstream/2.4.2
[Git][ocaml-team/alt-ergo][master] 2 commits: Re-enable the patch for non-native architectures
[Git][ocaml-team/alt-ergo][master] 5 commits: New upstream version 2.4.2
[Git][ocaml-team/alt-ergo][upstream] New upstream version 2.4.2
[Git][ocaml-team/belenios][master] 7 commits: New upstream version 1.18+dfsg
[Git][ocaml-team/belenios][upstream] 2 commits: New upstream version 1.18+dfsg
[Git][ocaml-team/morbig] Pushed new tag debian/0.10.4-5.1
[Git][ocaml-team/morbig][master] 2 commits: Add fix_yojson_2.patch
[Git][ocaml-team/ppx-sexp-conv] Pushed new tag debian/1%0.15.1+really0.14.3-1
[Git][ocaml-team/ppx-sexp-conv] Pushed new tag debian/1%0.15.1-1
[Git][ocaml-team/ppx-sexp-conv] Pushed new tag upstream/0.15.1
[Git][ocaml-team/ppx-sexp-conv] Pushed new tag upstream/0.15.1+really0.14.3
[Git][ocaml-team/ppx-sexp-conv][master] 3 commits: New upstream version 0.15.1+really0.14.3
[Git][ocaml-team/ppx-sexp-conv][master] 6 commits: New upstream version 0.15.0
[Git][ocaml-team/ppx-sexp-conv][upstream] New upstream version 0.15.1+really0.14.3
[Git][ocaml-team/yojson] Pushed new tag debian/2.0.2-1
[Git][ocaml-team/yojson] Pushed new tag upstream/2.0.2
[Git][ocaml-team/yojson][master] 7 commits: New upstream version 2.0.2
[Git][ocaml-team/yojson][upstream] New upstream version 2.0.2
alt-ergo_2.4.2-1_source.changes ACCEPTED into unstable
alt-ergo_2.4.2-2_source.changes ACCEPTED into unstable
belenios_1.19+dfsg-1_source.changes ACCEPTED into unstable
Bug#1014726: marked as done (Please package new upstream)
Bug#1016259: marked as done (mathcomp-analysis: FTBFS: build-dependency not installable: libcoq-elpi-b71f8)
Bug#1016678: dose3: Overly sensitive to newlines in package control fields
Bug#1016748: marked as done (mathcomp-analysis: FTBFS: test failure: Error: apply-w-params)
Bug#1016748: mathcomp-analysis: FTBFS: test failure: Error: apply-w-params
Bug#1017368: Removed package(s) from experimental
Bug#477084: marked as done (wyrd: pasting reminder omits newline)
Bug#819341: [unison] Please build unison-fsmonitor
coq-ext-lib_0.11.7-1_source.changes ACCEPTED into unstable
coq-hierarchy-builder is marked for autoremoval from testing
coq-hott_8.15-4_source.changes ACCEPTED into unstable
coq-interval_4.5.2-1_source.changes ACCEPTED into unstable
coq-interval_4.5.2-2_source.changes ACCEPTED into unstable
coq-iris_4.0.0-1_source.changes ACCEPTED into unstable
coq-mtac2_1.4+8.15-3_source.changes ACCEPTED into unstable
coq-quickchick_1.6.3-2_source.changes ACCEPTED into unstable
coq-quickchick_1.6.4-1_source.changes ACCEPTED into unstable
coq-reduction-effects_0.1.4-1_source.changes ACCEPTED into unstable
coq-simple-io_1.7.0-2_source.changes ACCEPTED into unstable
coq-stdpp_1.8.0-1_source.changes ACCEPTED into unstable
coq-unimath_20220816-1_source.changes ACCEPTED into unstable
mathcomp-analysis is marked for autoremoval from testing
mathcomp-analysis_0.5.2-2_source.changes ACCEPTED into unstable
mathcomp-analysis_0.5.3-1_source.changes ACCEPTED into unstable
mathcomp-finmap_1.5.2-1_source.changes ACCEPTED into unstable
morbig_0.10.4-5.1_source.changes ACCEPTED into experimental
ocaml-atd_2.10.0-1_source.changes ACCEPTED into experimental
ppx-sexp-conv_0.15.1+really0.14.3-1_source.changes ACCEPTED into unstable
ppx-sexp-conv_0.15.1-1_source.changes ACCEPTED into unstable
Processing of alt-ergo_2.4.2-1_source.changes
Processing of alt-ergo_2.4.2-2_source.changes
Processing of belenios_1.19+dfsg-1_source.changes
Processing of coq-ext-lib_0.11.7-1_source.changes
Processing of coq-hott_8.15-4_source.changes
Processing of coq-interval_4.5.2-1_source.changes
Processing of coq-interval_4.5.2-2_source.changes
Processing of coq-iris_4.0.0-1_source.changes
Processing of coq-mtac2_1.4+8.15-3_source.changes
Processing of coq-quickchick_1.6.3-2_source.changes
Processing of coq-quickchick_1.6.4-1_source.changes
Processing of coq-reduction-effects_0.1.4-1_source.changes
Processing of coq-simple-io_1.7.0-2_source.changes
Processing of coq-stdpp_1.8.0-1_source.changes
Processing of coq-unimath_20220816-1_source.changes
Processing of mathcomp-analysis_0.5.2-2_source.changes
Processing of mathcomp-analysis_0.5.3-1_source.changes
Processing of mathcomp-finmap_1.5.2-1_source.changes
Processing of morbig_0.10.4-5.1_source.changes
Processing of ocaml-atd_2.10.0-1_source.changes
Processing of ppx-sexp-conv_0.15.1+really0.14.3-1_source.changes
Processing of ppx-sexp-conv_0.15.1-1_source.changes
Processing of wyrd_1.7-1_source.changes
Processing of wyrd_1.7-2_source.changes
Processing of wyrd_1.7-3_source.changes
Processing of wyrd_1.7.1-1_source.changes
Processing of yojson_2.0.2-1_source.changes
Updating the ppx stack in Debian
Updating yojson to 2.0.2
wyrd_1.7-1_source.changes ACCEPTED into unstable
wyrd_1.7-2_source.changes ACCEPTED into unstable
wyrd_1.7-3_source.changes ACCEPTED into unstable
wyrd_1.7.1-1_source.changes ACCEPTED into unstable
yojson_2.0.2-1_source.changes ACCEPTED into experimental
The last update was on 10:40 GMT Sat Aug 27. There are 93 messages. Page 1 of 1.
[Thread Index]
[Subject Index]
[Author Index]
[Other Debian Lists]
[Debian Home]
Mail converted by MHonArc
