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