debian-ocaml-maint Nov 2022 by author

[previous page]

Page 1 of 1

[next page]

[Thread Index] [Date Index] [Subject Index] [Other Debian Lists] [Debian Home]

---

Stéphane Glondu (@glondu)

• [Git][ocaml-team/ocaml-dune][master] 2 commits: Add pkg.ocaml-dune.nocsexp build profile Nov 21
• [Git][ocaml-team/labltk] Pushed new tag debian/8.06.11-2 Nov 14
• [Git][ocaml-team/labltk] Pushed new tag archive/debian/8.06.11-2 Nov 14

Stéphane Glondu

• Re: Circular build dependencies? Nov 08
• Status of elpi Nov 01
• Re: Circular build dependencies? Nov 21

Andreas Tille

• Re: OCaml support for mcl (Was: Help with mcl needed: util/rand.h missing) Nov 28

Andres Salomon

• Bug#1024228: liquidsoap: please change suggests from youtube-dl to yt-dlp Nov 16

Debian Bug Tracking System

• Processed: why3 breaks frama-c (autopkgtest): missing versioned Breaks? Nov 08
• Bug#962220: marked as done (libfdkaac-ocaml-dynlink: No longer works with liquidsoap) Nov 12
• Bug#1023867: marked as done (labltk: /usr/bin/labltk script won't run; paths in it not sanitized after package build) Nov 14
• Processed: Re: Bug#1023653: coccinelle: Picks up wrong Python Nov 09
• Processed: Bug#1023867 marked as pending in labltk Nov 14
• Processed: src:elpi: fails to migrate to testing for too long: make reverse (test) dependencies uninstallable Nov 13
• Bug#1023762: marked as done (mathcomp-analysis: autopkgtest regression: interface mismatch on Elpi__BuiltinFindlib) Nov 10
• Bug#1023653: marked as done (coccinelle: Picks up wrong Python) Nov 10
• Bug#1023763: marked as done (mathcomp-algebra-tactics: autopkgtest regression: interface mismatch on Elpi__BuiltinFindlib) Nov 10

Debian FTP Masters

• ocaml-unix-errno_0.6.1-1_amd64.changes ACCEPTED into unstable Nov 16
• coq_8.16.1+dfsg-1_source.changes ACCEPTED into unstable Nov 29
• ocaml-opus_0.2.2-2_source.changes ACCEPTED into unstable Nov 13
• crowbar_0.2.1-1_amd64.changes is NEW Nov 17
• Processing of ocaml-opus_0.2.2-2_source.changes Nov 13
• ocaml-flac_0.3.1-1_source.changes ACCEPTED into unstable Nov 13
• coq-elpi_1.15.6-4_source.changes ACCEPTED into unstable Nov 13
• crowbar_0.2.1-1_amd64.changes REJECTED Nov 17
• Bug#1023639: Removed package(s) from unstable Nov 14
• Processing of ocaml-unix-errno_0.6.1-1_amd64.changes Nov 12
• Processing of coq-elpi_1.16.0-1_source.changes Nov 20
• Processing of ocaml-theora_0.4.0-2_source.changes Nov 13
• ocaml-faad_0.5.1-2_source.changes ACCEPTED into unstable Nov 13
• Processing of coccinelle_1.1.1.deb-2_source.changes Nov 10
• Processing of ocaml-speex_0.4.1-2_source.changes Nov 13
• ocaml-theora_0.4.0-2_source.changes ACCEPTED into unstable Nov 13
• Processing of ocaml-gstreamer_0.3.1-2_source.changes Nov 13
• Processing of ocaml-unix-errno_0.6.1-2_source.changes Nov 16
• Bug#1023858: Removed package(s) from unstable Nov 14
• mathcomp-algebra-tactics_1.0.0-8_source.changes ACCEPTED into unstable Nov 10
• Processing of ocaml-flac_0.3.1-1_source.changes Nov 13
• ocaml-ssl_0.5.13-1_source.changes ACCEPTED into unstable Nov 13
• Bug#1023320: Removed package(s) from unstable Nov 07
• Processing of coq-elpi_1.15.6-4_source.changes Nov 13
• camlimages_5.0.4-2_source.changes ACCEPTED into unstable Nov 13
• Processing of ocaml-vorbis_0.8.0-2_source.changes Nov 13
• Processing of ocaml-fdkaac_0.3.3~gitd3393eb-1_amd64.changes Nov 12
• ocaml-fdkaac_0.3.3~gitd3393eb-1_amd64.changes ACCEPTED into unstable Nov 12
• Processing of mathcomp-analysis_0.5.4-3_source.changes Nov 10
• ocaml-lo_0.2.0-2_source.changes ACCEPTED into unstable Nov 13
• Processing of ocaml-lo_0.2.0-2_source.changes Nov 13
• Processing of ocaml-speex_0.4.1-2_source.changes Nov 13
• Bug#1023860: Removed package(s) from unstable Nov 14
• ocaml-vorbis_0.8.0-2_source.changes ACCEPTED into unstable Nov 13
• ocaml-speex_0.4.1-2_source.changes REJECTED Nov 13
• Processing of ocaml-ogg_0.7.3-2_source.changes Nov 13
• Bug#1023857: Removed package(s) from unstable Nov 14
• Processing of crowbar_0.2.1-1_amd64.changes Nov 17
• Processing of ocaml-duppy_0.9.2-2_source.changes Nov 13
• ocaml-ffmpeg_1.1.6-2_source.changes ACCEPTED into unstable Nov 13
• Accepted ocaml-vorbis 0.8.0-2 (source) into unstable Nov 13
• ocaml-gstreamer_0.3.1-2_source.changes ACCEPTED into unstable Nov 13
• Accepted coq 8.16.1+dfsg-1 (source) into unstable Nov 29
• Processing of ocaml-ffmpeg_1.1.6-2_source.changes Nov 13
• Bug#1023859: Removed package(s) from unstable Nov 14
• Processing of ocaml-theora_0.4.0-2_source.changes Nov 13
• ocaml-unix-errno_0.6.1-2_source.changes ACCEPTED into unstable Nov 16
• ocaml-lame_0.3.6-2_source.changes ACCEPTED into unstable Nov 13
• Processing of camlimages_5.0.4-2_source.changes Nov 13
• ocaml-ogg_0.7.3-2_source.changes ACCEPTED into unstable Nov 13
• ocaml-theora_0.4.0-2_source.changes REJECTED Nov 13
• ocaml-duppy_0.9.2-2_source.changes ACCEPTED into unstable Nov 13
• coccinelle_1.1.1.deb-2_source.changes ACCEPTED into unstable Nov 10
• Processing of ocaml-lame_0.3.6-2_source.changes Nov 13
• ocaml-unix-errno_0.6.1-1_amd64.changes is NEW Nov 12
• Processing of ocaml-ssl_0.5.13-1_source.changes Nov 13
• crowbar_0.2.1-1_amd64.changes ACCEPTED into unstable Nov 23
• Processing of coq_8.16.1+dfsg-1_source.changes Nov 29
• ocaml-speex_0.4.1-2_source.changes ACCEPTED into unstable Nov 13
• labltk_8.06.11-2_source.changes ACCEPTED into unstable Nov 14
• Processing of crowbar_0.2.1-1_amd64.changes Nov 17
• Processing of mathcomp-algebra-tactics_1.0.0-8_source.changes Nov 10
• mathcomp-analysis_0.5.4-3_source.changes ACCEPTED into unstable Nov 10
• coq-elpi_1.16.0-1_source.changes ACCEPTED into unstable Nov 20
• Bug#1023320: Removed package(s) from unstable Nov 06
• Processing of labltk_8.06.11-2_source.changes Nov 14
• Processing of ocaml-faad_0.5.1-2_source.changes Nov 13

Debian testing autoremoval watch

• ocaml-afl-persistent is marked for autoremoval from testing Nov 17

Debian testing watch

• ocaml-vorbis 0.8.0-2 MIGRATED to testing Nov 24

Jean

• Bug#1023867: labltk: /usr/bin/labltk script won't run; paths in it not sanitized after package build Nov 11

Julia Lawall

• Bug#1023653: coccinelle: Picks up wrong Python Nov 08

julien . puydt

• Bug#1025129: elpi: Please add support for "riscv64" arch Nov 30
• Bug#1024003: src:elpi: fails to migrate to testing for too long: make reverse (test) dependencies uninstallable Nov 13

Julien Puydt (@jpuydt)

• [Git][ocaml-team/coq][pristine-tar] pristine-tar data for coq_8.16.1+dfsg.orig.tar.xz Nov 29
• [Git][ocaml-team/coq] Pushed new tag debian/8.16.1+dfsg-1 Nov 29
• [Git][ocaml-team/coq] Pushed new tag upstream/8.16.1+dfsg Nov 29
• [Git][ocaml-team/coq][upstream] New upstream version 8.16.1+dfsg Nov 29
• [Git][ocaml-team/coq][master] 5 commits: New upstream version 8.16.1+dfsg Nov 29

Kyle Robbertze (@paddatrapper)

• [Git][ocaml-team/ocaml-gstreamer] Pushed new tag debian/0.3.1-2 Nov 13
• [Git][ocaml-team/ocaml-fdkaac] Pushed new tag upstream/0.3.2_gitd3393eb Nov 11
• [Git][ocaml-team/ocaml-opus] Pushed new tag debian/0.2.2-2 Nov 13
• [Git][ocaml-team/ocaml-lame] Pushed new tag debian/0.3.6-2 Nov 13
• [Git][ocaml-team/ocaml-speex] Pushed new tag debian/0.4.1-2 Nov 13
• [Git][ocaml-team/ocaml-gstreamer][master] 3 commits: d/watch: correctly scan GitHub tags Nov 13
• [Git][ocaml-team/ocaml-duppy] Pushed new tag debian/0.9.2-2 Nov 13
• [Git][ocaml-team/ocaml-theora][master] 3 commits: Use secure URI in Homepage field. Nov 30
• [Git][ocaml-team/ocaml-flac] Pushed new tag debian/0.3.1-1 Nov 13
• [Git][ocaml-team/ocaml-fdkaac] Pushed new branch upstream-git Nov 11
• [Git][ocaml-team/ocaml-fdkaac] Pushed new tag upstream/0.3.3_gitd3393eb Nov 11
• [Git][ocaml-team/ocaml-vorbis] Pushed new tag debian/0.8.0-2 Nov 13
• [Git][ocaml-team/ocaml-fdkaac][master] update version number to be correct Nov 11
• [Git][ocaml-team/ocaml-ogg] Pushed new tag debian/0.7.3-2 Nov 13
• [Git][ocaml-team/ocaml-ssl] Pushed new tag debian/0.5.13-1 Nov 13
• [Git][ocaml-team/ocaml-theora] Pushed new tag debian/0.4.0-2 Nov 13
• [Git][ocaml-team/ocaml-flac] Pushed new tag upstream/0.3.1 Nov 13
• [Git][ocaml-team/ocaml-theora][master] 4 commits: d/watch: correctly scan GitHub tags Nov 13
• [Git][ocaml-team/ocaml-fdkaac] Deleted tag upstream/0.3.2_gitd3393eb Nov 11
• [Git][ocaml-team/ocaml-faad] Pushed new tag debian/0.5.1-2 Nov 13
• [Git][ocaml-team/ocaml-lo] Pushed new tag debian/0.2.0-2 Nov 13
• [Git][ocaml-team/ocaml-fdkaac] Pushed new tag debian/0.3.3_gitd3393eb-1 Nov 11
• [Git][ocaml-team/camlimages] Pushed new tag debian/1%5.0.4-2 Nov 13
• [Git][ocaml-team/ocaml-ssl][master] 2 commits: Set upstream metadata fields: Bug-Database, Bug-Submit, Repository, Repository-Browse. Nov 11
• [Git][ocaml-team/ocaml-fdkaac] Deleted tag debian/0.3.2_gitd3393eb-1 Nov 11
• [Git][ocaml-team/ocaml-ssl] Pushed new tag upstream/0.5.13 Nov 13

Manuel A. Fernandez Montecelo

• Bug#1025129: elpi: Please add support for "riscv64" arch Nov 29

Norbert Preining

• Circular build dependencies? Nov 07
• Re: Circular build dependencies? Nov 10

Paul Gevers

• Bug#1023762: mathcomp-analysis: autopkgtest regression: interface mismatch on Elpi__BuiltinFindlib Nov 09
• Bug#1024003: src:elpi: fails to migrate to testing for too long: make reverse (test) dependencies uninstallable Nov 13
• Bug#1023712: why3 breaks frama-c (autopkgtest): missing versioned Breaks? Nov 08
• Bug#1023763: mathcomp-algebra-tactics: autopkgtest regression: interface mismatch on Elpi__BuiltinFindlib Nov 09

Ralf Treinen (@treinen)

• [Git][ocaml-team/coccinelle] Pushed new tag debian/1.1.1.deb-2 Nov 10
• [Git][ocaml-team/coccinelle] Pushed new tag debian/1.0.8.deb-5 Nov 10
• [Git][ocaml-team/coccinelle][master] 2 commits: force configuration for python3 Nov 10

Uwe Kleine-König

• Bug#1023653: coccinelle: Picks up wrong Python Nov 09
• Bug#1023653: coccinelle: Picks up wrong Python Nov 08

[previous month]

[first page]

[previous page]

Page 1 of 1

[next page]

[last page]

[next month]

[Thread Index] [Subject Index] [Author Index] [Other Debian Lists] [Debian Home]