debian-ocaml-maint Nov 2022 by subject

[First Page] <
[previous page] 		Page 1 of 1 >
[next page] 		[Last Page]

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

[Thread Index] [Subject Index] [Author Index] [Other Debian Lists] [Debian Home]
Mail converted by MHonArc