debian-ocaml-maint Oct 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
]
coq-relation-algebra_1.7.8-1_amd64.changes ACCEPTED into unstable
Debian FTP Masters
coq-libhyps_2.0.6-1_amd64.changes ACCEPTED into unstable
Debian FTP Masters
mathcomp-abel_1.2.1-1_amd64.changes ACCEPTED into unstable
Debian FTP Masters
Processing of coq-hierarchy-builder_1.4.0-1_source.changes
Debian FTP Masters
[Git][ocaml-team/coq-doc] Pushed new tag debian/8.16.0-2
Julien Puydt (@jpuydt)
[Git][ocaml-team/coq-doc][master] 3 commits: Fix d/watch
Julien Puydt (@jpuydt)
Processing of coq-doc_8.16.0-2_source.changes
Debian FTP Masters
coq-doc_8.16.0-2_source.changes ACCEPTED into unstable
Debian FTP Masters
coq-hierarchy-builder_1.4.0-1_source.changes ACCEPTED into unstable
Debian FTP Masters
[Git][ocaml-team/ocaml-atd][master] 7 commits: New upstream version 2.10.0
Julien Puydt (@jpuydt)
[Git][ocaml-team/ocaml-atd][upstream] New upstream version 2.10.0
Julien Puydt (@jpuydt)
[Git][ocaml-team/ocaml-atd] Pushed new tag debian/2.10.0-1
Julien Puydt (@jpuydt)
[Git][ocaml-team/ocaml-atd] Pushed new tag upstream/2.10.0
Julien Puydt (@jpuydt)
[Git][ocaml-team/ssreflect][master] Fix d/watch
Julien Puydt (@jpuydt)
Bug#1015179: Please update ppxlib to latest upstream
julien . puydt
Bug#1015179: Please update ppxlib to latest upstream
julien . puydt
Bug#1015179: Please update ppxlib to latest upstream
julien . puydt
<Possible follow-ups>
Bug#1015179: Please update ppxlib to latest upstream
julien . puydt
Bug#1015179: Please update ppxlib to latest upstream
Stéphane Glondu
Bug#1015179: Please update ppxlib to latest upstream
julien . puydt
Processing of dh-coq_0.4_source.changes
Debian FTP Masters
[Git][ocaml-team/ocaml-sedlex] Pushed new tag upstream/3.0
Julien Puydt (@jpuydt)
[Git][ocaml-team/ppx-sexp-conv][upstream] New upstream version 0.15.1+really0.15.1
Julien Puydt (@jpuydt)
[Git][ocaml-team/ppx-sexp-conv][master] 3 commits: New upstream version 0.15.1+really0.15.1
Julien Puydt (@jpuydt)
[Git][ocaml-team/ppx-sexp-conv] Pushed new tag upstream/0.15.1+really0.15.1
Julien Puydt (@jpuydt)
[Git][ocaml-team/obus][pristine-tar] pristine-tar data for obus_1.2.4.orig.tar.gz
Julien Puydt (@jpuydt)
[Git][ocaml-team/obus][upstream] New upstream version 1.2.4
Julien Puydt (@jpuydt)
[Git][ocaml-team/obus] Pushed new tag upstream/1.2.4
Julien Puydt (@jpuydt)
dh-coq_0.4_source.changes REJECTED
Debian FTP Masters
Processing of dh-coq_0.4_amd64.changes
Debian FTP Masters
dh-coq_0.4_amd64.changes is NEW
Debian FTP Masters
Bug#1021246: ITP: crowbar -- library to fuzz-test code
Julien Puydt
dh-coq_0.4_amd64.changes ACCEPTED into unstable
Debian FTP Masters
Bug#1021269: ITP: ocaml-afl-persistent -- use afl-fuzz in persistent mode
Julien Puydt
Bug#1021293: ITP: ocaml-uucd -- decode data on Unicode characters off XML
Julien Puydt
Bug#1021294: ITP: ocaml-uunf -- Unicode text normalization form library
Julien Puydt
Processing of ocaml-afl-persistent_1.3-1_amd64.changes
Debian FTP Masters
ocaml-afl-persistent_1.3-1_amd64.changes is NEW
Debian FTP Masters
Bug#1021300: ITP: ocaml-uucp -- access properties of Unicode characters
Julien Puydt
Processing of ocaml-uucd_15.0.0-1_amd64.changes
Debian FTP Masters
ocaml-uucd_15.0.0-1_amd64.changes is NEW
Debian FTP Masters
ocaml-afl-persistent_1.3-1_amd64.changes ACCEPTED into unstable
Debian FTP Masters
ocaml-uucd_15.0.0-1_amd64.changes ACCEPTED into unstable
Debian FTP Masters
Processing of ocaml-cohttp_4.0.0-2_source.changes
Debian FTP Masters
ocaml-cohttp_4.0.0-2_source.changes ACCEPTED into unstable
Debian FTP Masters
Processing of ocaml-sexplib0_0.15.1-1_source.changes
Debian FTP Masters
ocaml-sexplib0_0.15.1-1_source.changes ACCEPTED into unstable
Debian FTP Masters
Processing of ppxlib_0.27.0-1_source.changes
Debian FTP Masters
ppxlib_0.27.0-1_source.changes REJECTED
Debian FTP Masters
Processing of ppxlib_0.27.0-2_source.changes
Debian FTP Masters
ppxlib_0.27.0-2_source.changes ACCEPTED into unstable
Debian FTP Masters
Processing of janest-base_0.15.1-1_source.changes
Debian FTP Masters
janest-base_0.15.1-1_source.changes ACCEPTED into unstable
Debian FTP Masters
[Git][ocaml-team/ocaml-sedlex] Pushed new tag debian/3.0-1
Julien Puydt (@jpuydt)
Processing of ocaml-sedlex_3.0-1_source.changes
Debian FTP Masters
ocaml-sedlex_3.0-1_source.changes ACCEPTED into unstable
Debian FTP Masters
Processing of ocaml-stdio_0.15.0-1_source.changes
Debian FTP Masters
ocaml-stdio_0.15.0-1_source.changes ACCEPTED into unstable
Debian FTP Masters
[Git][ocaml-team/ppx-sexp-conv][master] Upload to unstable
Julien Puydt (@jpuydt)
[Git][ocaml-team/ppx-sexp-conv] Pushed new tag debian/1%0.15.1+really0.15.1-2
Julien Puydt (@jpuydt)
Processing of ppx-sexp-conv_0.15.1+really0.15.1-2_source.changes
Debian FTP Masters
<Possible follow-ups>
Processing of ppx-sexp-conv_0.15.1+really0.15.1-2_source.changes
Debian FTP Masters
ppx-sexp-conv_0.15.1+really0.15.1-2_source.changes REJECTED
Debian FTP Masters
ppx-sexp-conv_0.15.1+really0.15.1-2_source.changes ACCEPTED into unstable
Debian FTP Masters
[Git][ocaml-team/liquidsoap] Pushed new tag upstream/2.1.2
Kyle Robbertze (@paddatrapper)
[Git][ocaml-team/liquidsoap][upstream] 2 commits: New upstream version 2.1.0
Kyle Robbertze (@paddatrapper)
dh-ocaml not expanding ${ocaml:Depends} in Liquidsoap
Kyle Robbertze
Re: dh-ocaml not expanding ${ocaml:Depends} in Liquidsoap
Julien Puydt
Re: dh-ocaml not expanding ${ocaml:Depends} in Liquidsoap
Kyle Robbertze
[Git][ocaml-team/liquidsoap][master] 14 commits: New upstream version 2.1.0
Kyle Robbertze (@paddatrapper)
[Git][ocaml-team/liquidsoap] Pushed new branch prisine-tar
Kyle Robbertze (@paddatrapper)
Processing of ppx-import_1.10.0-1_source.changes
Debian FTP Masters
ppx-import_1.10.0-1_source.changes ACCEPTED into unstable
Debian FTP Masters
Processing of sexplib310_0.15.1-1_source.changes
Debian FTP Masters
sexplib310_0.15.1-1_source.changes ACCEPTED into unstable
Debian FTP Masters
[Git][ocaml-team/sexplib310] Pushed new tag debian/1%0.15.1-1
Julien Puydt (@jpuydt)
[Git][ocaml-team/sexplib310] Pushed new tag upstream/0.15.1
Julien Puydt (@jpuydt)
[Git][ocaml-team/obus][master] Prepare for upload
Julien Puydt (@jpuydt)
[Git][ocaml-team/obus] Pushed new tag debian/1.2.4-1
Julien Puydt (@jpuydt)
Processing of obus_1.2.4-1_source.changes
Debian FTP Masters
obus_1.2.4-1_source.changes ACCEPTED into unstable
Debian FTP Masters
Processing of ocaml-cohttp_4.0.0-3_source.changes
Debian FTP Masters
ocaml-cohttp_4.0.0-3_source.changes ACCEPTED into unstable
Debian FTP Masters
[Git][ocaml-team/ppx-deriving-yojson] Pushed new tag debian/3.6.1-3
Julien Puydt (@jpuydt)
Processing of ppx-deriving-yojson_3.6.1-3_source.changes
Debian FTP Masters
Processing of ppx-hash_0.15.0-1_source.changes
Debian FTP Masters
ppx-deriving-yojson_3.6.1-3_source.changes ACCEPTED into unstable
Debian FTP Masters
ppx-hash_0.15.0-1_source.changes REJECTED
Debian FTP Masters
Processing of ppx-hash_0.15.0-1_amd64.changes
Debian FTP Masters
<Possible follow-ups>
Processing of ppx-hash_0.15.0-1_amd64.changes
Debian FTP Masters
Processing of ppx-hash_0.15.0-1_amd64.changes
Debian FTP Masters
ppx-hash_0.15.0-1_amd64.changes REJECTED
Debian FTP Masters
<Possible follow-ups>
ppx-hash_0.15.0-1_amd64.changes REJECTED
Debian FTP Masters
ppx-hash_0.15.0-1_amd64.changes REJECTED
Thorsten Alteholz
[Git][ocaml-team/ppx-deriving-yojson] Pushed new tag debian/3.7.0-1
Julien Puydt (@jpuydt)
[Git][ocaml-team/ppx-deriving-yojson] Pushed new tag upstream/3.7.0
Julien Puydt (@jpuydt)
Processing of ppx-deriving-yojson_3.7.0-1_source.changes
Debian FTP Masters
ppx-deriving-yojson_3.7.0-1_source.changes ACCEPTED into unstable
Debian FTP Masters
[Git][ocaml-team/ocp-indent] Pushed new tag debian/1.8.2-2
Jochen Sprickerhof (@jspricke)
Processing of ocp-indent_1.8.2-2_source.changes
Debian FTP Masters
Bug#1003323: marked as done (Failure Config file not found (missing dependency))
Debian Bug Tracking System
ocp-indent_1.8.2-2_source.changes ACCEPTED into unstable
Debian FTP Masters
ppx-hash_0.15.0-1_amd64.changes is NEW
Debian FTP Masters
Bug#844321: unison: Please update to latest upstream version
Daniel Reichelt
[Git][ocaml-team/ocaml-opus][master] 2 commits: Remove constraints unnecessary since buster (oldstable)
Kyle Robbertze (@paddatrapper)
Processing of dh-coq_0.5_source.changes
Debian FTP Masters
dh-coq_0.5_source.changes ACCEPTED into unstable
Debian FTP Masters
Processing of ppx-hash_0.15.0-2_source.changes
Debian FTP Masters
Processing of ocaml-uucp_15.0.0-1_amd64.changes
Debian FTP Masters
ocaml-uucp_15.0.0-1_amd64.changes is NEW
Debian FTP Masters
Processing of ocaml-uunf_15.0.0-1_amd64.changes
Debian FTP Masters
ppx-hash_0.15.0-2_source.changes REJECTED
Debian FTP Masters
ocaml-uunf_15.0.0-1_amd64.changes is NEW
Debian FTP Masters
Processing of ppx-hash_0.15.0-2_amd64.changes
Debian FTP Masters
ppx-hash_0.15.0-2_amd64.changes is NEW
Debian FTP Masters
ppx-hash_0.15.0-2_amd64.changes ACCEPTED into unstable
Debian FTP Masters
[Git][ocaml-team/why3] Pushed new tag debian/1.5.1-1
Ralf Treinen (@treinen)
Processing of why3_1.5.1-1_source.changes
Debian FTP Masters
why3_1.5.1-1_source.changes ACCEPTED into unstable
Debian FTP Masters
Re: Updating yojson to 2.0.2
Stéphane Glondu
Re: Updating yojson to 2.0.2
julien . puydt
Processing of frama-c_20220511-manganese-2_source.changes
Debian FTP Masters
frama-c_20220511-manganese-2_source.changes ACCEPTED into unstable
Debian FTP Masters
[Git][ocaml-team/frama-c][master] fix autopkgtest wp
Ralf Treinen (@treinen)
[Git][ocaml-team/frama-c] Pushed new tag debian/20220511-manganese-2
Ralf Treinen (@treinen)
[Git][ocaml-team/yojson] Pushed new tag debian/2.0.2-2
Julien Puydt (@jpuydt)
[Git][ocaml-team/morbig][master] Re-upload to unstable
Julien Puydt (@jpuydt)
[Git][ocaml-team/morbig] Pushed new tag debian/0.10.4-6
Julien Puydt (@jpuydt)
[Git][ocaml-team/ocaml-atd][master] 2 commits: Fix d/watch
Julien Puydt (@jpuydt)
[Git][ocaml-team/ocaml-atd] Pushed new tag debian/2.10.0-2
Julien Puydt (@jpuydt)
Processing of morbig_0.10.4-6_source.changes
Debian FTP Masters
Processing of yojson_2.0.2-2_source.changes
Debian FTP Masters
Processing of ocaml-atd_2.10.0-2_source.changes
Debian FTP Masters
morbig_0.10.4-6_source.changes ACCEPTED into unstable
Debian FTP Masters
ocaml-atd_2.10.0-2_source.changes ACCEPTED into unstable
Debian FTP Masters
yojson_2.0.2-2_source.changes ACCEPTED into unstable
Debian FTP Masters
[Git][ocaml-team/belenios][master] 5 commits: New upstream version 1.20+dfsg
Stéphane Glondu (@glondu)
[Git][ocaml-team/belenios][upstream] New upstream version 1.20+dfsg
Stéphane Glondu (@glondu)
[Git][ocaml-team/belenios] Pushed new tag archive/debian/1.20+dfsg-1
Stéphane Glondu (@glondu)
[Git][ocaml-team/belenios] Pushed new tag debian/1.20+dfsg-1
Stéphane Glondu (@glondu)
[Git][ocaml-team/belenios] Pushed new tag upstream/1.20+dfsg
Stéphane Glondu (@glondu)
Processed: reassign 844321 to src:unison-2.52
Debian Bug Tracking System
Processing of belenios_1.20+dfsg-1_source.changes
Debian FTP Masters
belenios_1.20+dfsg-1_source.changes ACCEPTED into unstable
Debian FTP Masters
[Git][ocaml-team/unison][2.52/debian] 6 commits: New upstream version 2.52.1
Stéphane Glondu (@glondu)
[Git][ocaml-team/unison][2.52/upstream] New upstream version 2.52.1
Stéphane Glondu (@glondu)
[Git][ocaml-team/unison] Pushed new tag upstream/2.52.1
Stéphane Glondu (@glondu)
[Git][ocaml-team/unison] Pushed new tag debian/2.52.1-1
Stéphane Glondu (@glondu)
Bug#844321: marked as done (unison: Please update to latest upstream version)
Debian Bug Tracking System
Processing of unison-2.52_2.52.1-1_source.changes
Debian FTP Masters
unison-2.52_2.52.1-1_source.changes ACCEPTED into unstable
Debian FTP Masters
Processing of elpi_1.16.7-1_source.changes
Debian FTP Masters
elpi_1.16.7-1_source.changes ACCEPTED into unstable
Debian FTP Masters
Processing of coq-elpi_1.15.6-2_source.changes
Debian FTP Masters
coq-elpi_1.15.6-2_source.changes ACCEPTED into unstable
Debian FTP Masters
Processing of coq-hierarchy-builder_1.4.0-2_source.changes
Debian FTP Masters
coq-hierarchy-builder_1.4.0-2_source.changes ACCEPTED into unstable
Debian FTP Masters
Processing of mathcomp-algebra-tactics_1.0.0-7_source.changes
Debian FTP Masters
Processing of mathcomp-analysis_0.5.4-2_source.changes
Debian FTP Masters
mathcomp-algebra-tactics_1.0.0-7_source.changes ACCEPTED into unstable
Debian FTP Masters
mathcomp-analysis_0.5.4-2_source.changes ACCEPTED into unstable
Debian FTP Masters
Processing of elpi_1.16.7-2_source.changes
Debian FTP Masters
elpi_1.16.7-2_source.changes ACCEPTED into unstable
Debian FTP Masters
Processing of coq-interval_4.6.0-1_source.changes
Debian FTP Masters
coq-interval_4.6.0-1_source.changes ACCEPTED into unstable
Debian FTP Masters
[EXTERNAL EMAIL - USE CAUTION] Greetings!
Mr. Paul Morgan
[bts-link] source package ocaml-fdkaac
debian-bts-link
Processed: [bts-link] source package ocaml-fdkaac
Debian Bug Tracking System
The last update was on 18:00 GMT Mon Oct 31. There are 168 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