debian-ocaml-maint Nov 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
]
Status of elpi
Stéphane Glondu
Bug#1023320: Removed package(s) from unstable
Debian FTP Masters
<Possible follow-ups>
Bug#1023320: Removed package(s) from unstable
Debian FTP Masters
Circular build dependencies?
Norbert Preining
Re: Circular build dependencies?
Stéphane Glondu
Re: Circular build dependencies?
Norbert Preining
Re: Circular build dependencies?
Stéphane Glondu
Bug#1023653: coccinelle: Picks up wrong Python
Uwe Kleine-König
Bug#1023653: coccinelle: Picks up wrong Python
Julia Lawall
Bug#1023653: coccinelle: Picks up wrong Python
Uwe Kleine-König
Processed: Re: Bug#1023653: coccinelle: Picks up wrong Python
Debian Bug Tracking System
Bug#1023653: marked as done (coccinelle: Picks up wrong Python)
Debian Bug Tracking System
Bug#1023712: why3 breaks frama-c (autopkgtest): missing versioned Breaks?
Paul Gevers
Processed: why3 breaks frama-c (autopkgtest): missing versioned Breaks?
Debian Bug Tracking System
Bug#1023762: mathcomp-analysis: autopkgtest regression: interface mismatch on Elpi__BuiltinFindlib
Paul Gevers
Bug#1023762: marked as done (mathcomp-analysis: autopkgtest regression: interface mismatch on Elpi__BuiltinFindlib)
Debian Bug Tracking System
Bug#1023763: mathcomp-algebra-tactics: autopkgtest regression: interface mismatch on Elpi__BuiltinFindlib
Paul Gevers
Bug#1023763: marked as done (mathcomp-algebra-tactics: autopkgtest regression: interface mismatch on Elpi__BuiltinFindlib)
Debian Bug Tracking System
[Git][ocaml-team/coccinelle][master] 2 commits: force configuration for python3
Ralf Treinen (@treinen)
Processing of mathcomp-algebra-tactics_1.0.0-8_source.changes
Debian FTP Masters
Processing of mathcomp-analysis_0.5.4-3_source.changes
Debian FTP Masters
mathcomp-algebra-tactics_1.0.0-8_source.changes ACCEPTED into unstable
Debian FTP Masters
mathcomp-analysis_0.5.4-3_source.changes ACCEPTED into unstable
Debian FTP Masters
Processing of coccinelle_1.1.1.deb-2_source.changes
Debian FTP Masters
coccinelle_1.1.1.deb-2_source.changes ACCEPTED into unstable
Debian FTP Masters
[Git][ocaml-team/coccinelle] Pushed new tag debian/1.0.8.deb-5
Ralf Treinen (@treinen)
[Git][ocaml-team/coccinelle] Pushed new tag debian/1.1.1.deb-2
Ralf Treinen (@treinen)
[Git][ocaml-team/ocaml-fdkaac] Pushed new tag upstream/0.3.2_gitd3393eb
Kyle Robbertze (@paddatrapper)
[Git][ocaml-team/ocaml-fdkaac] Pushed new branch upstream-git
Kyle Robbertze (@paddatrapper)
[Git][ocaml-team/ocaml-ssl][master] 2 commits: Set upstream metadata fields: Bug-Database, Bug-Submit, Repository, Repository-Browse.
Kyle Robbertze (@paddatrapper)
[Git][ocaml-team/ocaml-fdkaac] Deleted tag debian/0.3.2_gitd3393eb-1
Kyle Robbertze (@paddatrapper)
[Git][ocaml-team/ocaml-fdkaac] Deleted tag upstream/0.3.2_gitd3393eb
Kyle Robbertze (@paddatrapper)
[Git][ocaml-team/ocaml-fdkaac] Pushed new tag debian/0.3.3_gitd3393eb-1
Kyle Robbertze (@paddatrapper)
[Git][ocaml-team/ocaml-fdkaac] Pushed new tag upstream/0.3.3_gitd3393eb
Kyle Robbertze (@paddatrapper)
[Git][ocaml-team/ocaml-fdkaac][master] update version number to be correct
Kyle Robbertze (@paddatrapper)
Bug#1023867: labltk: /usr/bin/labltk script won't run; paths in it not sanitized after package build
Jean
Processed: Bug#1023867 marked as pending in labltk
Debian Bug Tracking System
Bug#1023867: marked as done (labltk: /usr/bin/labltk script won't run; paths in it not sanitized after package build)
Debian Bug Tracking System
Processing of ocaml-unix-errno_0.6.1-1_amd64.changes
Debian FTP Masters
Processing of ocaml-fdkaac_0.3.3~gitd3393eb-1_amd64.changes
Debian FTP Masters
ocaml-unix-errno_0.6.1-1_amd64.changes is NEW
Debian FTP Masters
Bug#962220: marked as done (libfdkaac-ocaml-dynlink: No longer works with liquidsoap)
Debian Bug Tracking System
ocaml-fdkaac_0.3.3~gitd3393eb-1_amd64.changes ACCEPTED into unstable
Debian FTP Masters
[Git][ocaml-team/camlimages] Pushed new tag debian/1%5.0.4-2
Kyle Robbertze (@paddatrapper)
Processing of camlimages_5.0.4-2_source.changes
Debian FTP Masters
[Git][ocaml-team/ocaml-flac] Pushed new tag debian/0.3.1-1
Kyle Robbertze (@paddatrapper)
[Git][ocaml-team/ocaml-flac] Pushed new tag upstream/0.3.1
Kyle Robbertze (@paddatrapper)
Processing of ocaml-ffmpeg_1.1.6-2_source.changes
Debian FTP Masters
Processing of ocaml-flac_0.3.1-1_source.changes
Debian FTP Masters
camlimages_5.0.4-2_source.changes ACCEPTED into unstable
Debian FTP Masters
ocaml-ffmpeg_1.1.6-2_source.changes ACCEPTED into unstable
Debian FTP Masters
ocaml-flac_0.3.1-1_source.changes ACCEPTED into unstable
Debian FTP Masters
[Git][ocaml-team/ocaml-lame] Pushed new tag debian/0.3.6-2
Kyle Robbertze (@paddatrapper)
[Git][ocaml-team/ocaml-gstreamer] Pushed new tag debian/0.3.1-2
Kyle Robbertze (@paddatrapper)
[Git][ocaml-team/ocaml-gstreamer][master] 3 commits: d/watch: correctly scan GitHub tags
Kyle Robbertze (@paddatrapper)
Processing of ocaml-lame_0.3.6-2_source.changes
Debian FTP Masters
ocaml-lame_0.3.6-2_source.changes ACCEPTED into unstable
Debian FTP Masters
Processing of ocaml-gstreamer_0.3.1-2_source.changes
Debian FTP Masters
ocaml-gstreamer_0.3.1-2_source.changes ACCEPTED into unstable
Debian FTP Masters
[Git][ocaml-team/ocaml-ogg] Pushed new tag debian/0.7.3-2
Kyle Robbertze (@paddatrapper)
Processing of ocaml-ogg_0.7.3-2_source.changes
Debian FTP Masters
[Git][ocaml-team/ocaml-opus] Pushed new tag debian/0.2.2-2
Kyle Robbertze (@paddatrapper)
[Git][ocaml-team/ocaml-lo] Pushed new tag debian/0.2.0-2
Kyle Robbertze (@paddatrapper)
Processing of ocaml-opus_0.2.2-2_source.changes
Debian FTP Masters
[Git][ocaml-team/ocaml-speex] Pushed new tag debian/0.4.1-2
Kyle Robbertze (@paddatrapper)
Processing of ocaml-lo_0.2.0-2_source.changes
Debian FTP Masters
[Git][ocaml-team/ocaml-ssl] Pushed new tag debian/0.5.13-1
Kyle Robbertze (@paddatrapper)
[Git][ocaml-team/ocaml-ssl] Pushed new tag upstream/0.5.13
Kyle Robbertze (@paddatrapper)
Processing of ocaml-speex_0.4.1-2_source.changes
Debian FTP Masters
<Possible follow-ups>
Processing of ocaml-speex_0.4.1-2_source.changes
Debian FTP Masters
[Git][ocaml-team/ocaml-vorbis] Pushed new tag debian/0.8.0-2
Kyle Robbertze (@paddatrapper)
[Git][ocaml-team/ocaml-theora] Pushed new tag debian/0.4.0-2
Kyle Robbertze (@paddatrapper)
[Git][ocaml-team/ocaml-theora][master] 4 commits: d/watch: correctly scan GitHub tags
Kyle Robbertze (@paddatrapper)
Processing of ocaml-ssl_0.5.13-1_source.changes
Debian FTP Masters
Accepted ocaml-vorbis 0.8.0-2 (source) into unstable
Debian FTP Masters
ocaml-lo_0.2.0-2_source.changes ACCEPTED into unstable
Debian FTP Masters
ocaml-ogg_0.7.3-2_source.changes ACCEPTED into unstable
Debian FTP Masters
ocaml-speex_0.4.1-2_source.changes REJECTED
Debian FTP Masters
ocaml-opus_0.2.2-2_source.changes ACCEPTED into unstable
Debian FTP Masters
ocaml-ssl_0.5.13-1_source.changes ACCEPTED into unstable
Debian FTP Masters
Processing of ocaml-vorbis_0.8.0-2_source.changes
Debian FTP Masters
Processing of ocaml-theora_0.4.0-2_source.changes
Debian FTP Masters
<Possible follow-ups>
Processing of ocaml-theora_0.4.0-2_source.changes
Debian FTP Masters
ocaml-vorbis_0.8.0-2_source.changes ACCEPTED into unstable
Debian FTP Masters
[Git][ocaml-team/ocaml-faad] Pushed new tag debian/0.5.1-2
Kyle Robbertze (@paddatrapper)
ocaml-theora_0.4.0-2_source.changes REJECTED
Debian FTP Masters
Processing of ocaml-faad_0.5.1-2_source.changes
Debian FTP Masters
ocaml-faad_0.5.1-2_source.changes ACCEPTED into unstable
Debian FTP Masters
ocaml-speex_0.4.1-2_source.changes ACCEPTED into unstable
Debian FTP Masters
ocaml-theora_0.4.0-2_source.changes ACCEPTED into unstable
Debian FTP Masters
[Git][ocaml-team/ocaml-duppy] Pushed new tag debian/0.9.2-2
Kyle Robbertze (@paddatrapper)
Processing of ocaml-duppy_0.9.2-2_source.changes
Debian FTP Masters
ocaml-duppy_0.9.2-2_source.changes ACCEPTED into unstable
Debian FTP Masters
Bug#1024003: src:elpi: fails to migrate to testing for too long: make reverse (test) dependencies uninstallable
Paul Gevers
Processed: src:elpi: fails to migrate to testing for too long: make reverse (test) dependencies uninstallable
Debian Bug Tracking System
Bug#1024003: src:elpi: fails to migrate to testing for too long: make reverse (test) dependencies uninstallable
julien . puydt
Processing of coq-elpi_1.15.6-4_source.changes
Debian FTP Masters
coq-elpi_1.15.6-4_source.changes ACCEPTED into unstable
Debian FTP Masters
Bug#1023639: Removed package(s) from unstable
Debian FTP Masters
Bug#1023857: Removed package(s) from unstable
Debian FTP Masters
Bug#1023858: Removed package(s) from unstable
Debian FTP Masters
Bug#1023859: Removed package(s) from unstable
Debian FTP Masters
Bug#1023860: Removed package(s) from unstable
Debian FTP Masters
[Git][ocaml-team/labltk] Pushed new tag debian/8.06.11-2
Stéphane Glondu (@glondu)
[Git][ocaml-team/labltk] Pushed new tag archive/debian/8.06.11-2
Stéphane Glondu (@glondu)
Processing of labltk_8.06.11-2_source.changes
Debian FTP Masters
labltk_8.06.11-2_source.changes ACCEPTED into unstable
Debian FTP Masters
Bug#1024228: liquidsoap: please change suggests from youtube-dl to yt-dlp
Andres Salomon
ocaml-unix-errno_0.6.1-1_amd64.changes ACCEPTED into unstable
Debian FTP Masters
Processing of ocaml-unix-errno_0.6.1-2_source.changes
Debian FTP Masters
ocaml-unix-errno_0.6.1-2_source.changes ACCEPTED into unstable
Debian FTP Masters
ocaml-afl-persistent is marked for autoremoval from testing
Debian testing autoremoval watch
Processing of crowbar_0.2.1-1_amd64.changes
Debian FTP Masters
<Possible follow-ups>
Processing of crowbar_0.2.1-1_amd64.changes
Debian FTP Masters
crowbar_0.2.1-1_amd64.changes REJECTED
Debian FTP Masters
crowbar_0.2.1-1_amd64.changes is NEW
Debian FTP Masters
Processing of coq-elpi_1.16.0-1_source.changes
Debian FTP Masters
coq-elpi_1.16.0-1_source.changes ACCEPTED into unstable
Debian FTP Masters
[Git][ocaml-team/ocaml-dune][master] 2 commits: Add pkg.ocaml-dune.nocsexp build profile
Stéphane Glondu (@glondu)
crowbar_0.2.1-1_amd64.changes ACCEPTED into unstable
Debian FTP Masters
ocaml-vorbis 0.8.0-2 MIGRATED to testing
Debian testing watch
Re: OCaml support for mcl (Was: Help with mcl needed: util/rand.h missing)
Andreas Tille
[Git][ocaml-team/coq] Pushed new tag debian/8.16.1+dfsg-1
Julien Puydt (@jpuydt)
[Git][ocaml-team/coq][pristine-tar] pristine-tar data for coq_8.16.1+dfsg.orig.tar.xz
Julien Puydt (@jpuydt)
[Git][ocaml-team/coq][master] 5 commits: New upstream version 8.16.1+dfsg
Julien Puydt (@jpuydt)
[Git][ocaml-team/coq] Pushed new tag upstream/8.16.1+dfsg
Julien Puydt (@jpuydt)
[Git][ocaml-team/coq][upstream] New upstream version 8.16.1+dfsg
Julien Puydt (@jpuydt)
Processing of coq_8.16.1+dfsg-1_source.changes
Debian FTP Masters
coq_8.16.1+dfsg-1_source.changes ACCEPTED into unstable
Debian FTP Masters
Accepted coq 8.16.1+dfsg-1 (source) into unstable
Debian FTP Masters
Bug#1025129: elpi: Please add support for "riscv64" arch
Manuel A. Fernandez Montecelo
Bug#1025129: elpi: Please add support for "riscv64" arch
julien . puydt
[Git][ocaml-team/ocaml-theora][master] 3 commits: Use secure URI in Homepage field.
Kyle Robbertze (@paddatrapper)
The last update was on 08:40 GMT Wed Nov 30. There are 133 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