debian-ocaml-maint Oct 2021 by thread
[Date Index]
[Subject Index]
[Author Index]
[Other Debian Lists]
[Debian Home]
- Processing of menhir_20210929-1_source.changes Debian FTP Masters
- menhir_20210929-1_source.changes ACCEPTED into unstable Debian FTP Masters
- [Git][ocaml-team/menhir][master] 6 commits: New upstream version 20210929 Ralf Treinen (@treinen)
- [Git][ocaml-team/menhir][pristine-tar] pristine-tar data for menhir_20210929.orig.tar.gz Ralf Treinen (@treinen)
- [Git][ocaml-team/menhir][upstream] New upstream version 20210929 Ralf Treinen (@treinen)
- [Git][ocaml-team/menhir] Pushed new tag debian/20210929-1 Ralf Treinen (@treinen)
- [Git][ocaml-team/menhir] Pushed new tag upstream/20210929 Ralf Treinen (@treinen)
- Bug#995543: Updating the coq Uploaders list Mattia Rizzolo
- Bug#995545: Updating the lablgtkmathview Uploaders list Mattia Rizzolo
- Bug#995554: Updating the ocurl Uploaders list Mattia Rizzolo
- Bug#995556: Updating the ocaml-expat Uploaders list Mattia Rizzolo
- Bug#995555: Updating the matita Uploaders list Mattia Rizzolo
- Bug#995558: Updating the ssreflect Uploaders list Mattia Rizzolo
- Bug#995560: Updating the ulex0.8 Uploaders list Mattia Rizzolo
- Processing of morbig_0.10.4-5_source.changes Debian FTP Masters
- morbig_0.10.4-5_source.changes ACCEPTED into unstable Debian FTP Masters
- [Git][ocaml-team/morbig] Pushed new tag debian/0.10.4-5 Ralf Treinen (@treinen)
- Processing of morsmall_0.3.0-3_source.changes Debian FTP Masters
- Processing of morsmall_0.3.0-4_source.changes Debian FTP Masters
- morsmall_0.3.0-3_source.changes REJECTED Debian FTP Masters
- morsmall_0.3.0-4_source.changes ACCEPTED into unstable Debian FTP Masters
- Bug#979096: Legally problematic GPL-3+ readline dependency Bastian Germann
- Bug#994163: Removed package(s) from unstable Debian FTP Masters
- Bug#993663: Removed package(s) from unstable Debian FTP Masters
- nproc is marked for autoremoval from testing Debian testing autoremoval watch
- omake is marked for autoremoval from testing Debian testing autoremoval watch
- Bug#979096: marked as done (Legally problematic GPL-3+ readline dependency) Debian Bug Tracking System
- Processing of omake_0.10.3-2.1_source.changes Debian FTP Masters
- omake_0.10.3-2.1_source.changes ACCEPTED into unstable Debian FTP Masters
- Processed: GCC 11 is now the default, raising the severity of the ftbfs issues Debian Bug Tracking System
- Processed: tagging 983959, tagging 983999, tagging 984242, tagging 994237, tagging 994240, tagging 983958 ... Debian Bug Tracking System
- frama-c is marked for autoremoval from testing Debian testing autoremoval watch
- why3 is marked for autoremoval from testing Debian testing autoremoval watch
- Processed: tagging 995437, tagging 995480, tagging 995597, tagging 995600, tagging 995603, tagging 995623 ... Debian Bug Tracking System
- [Git][ocaml-team/hevea][upstream] New upstream version 2.35 Ralf Treinen (@treinen)
- [Git][ocaml-team/hevea][pristine-tar] pristine-tar data for hevea_2.35.orig.tar.gz Ralf Treinen (@treinen)
- [Git][ocaml-team/hevea][master] 9 commits: New upstream version 2.35 Ralf Treinen (@treinen)
- Processing of hevea_2.35-1_source.changes Debian FTP Masters
- hevea_2.35-1_source.changes ACCEPTED into unstable Debian FTP Masters
- [Git][ocaml-team/hevea] Pushed new tag debian/2.35-1 Ralf Treinen (@treinen)
- [Git][ocaml-team/hevea] Pushed new tag upstream/2.35 Ralf Treinen (@treinen)
- Processing of hevea-doc_2.35-1_amd64.changes Debian FTP Masters
- hevea-doc_2.35-1_amd64.changes ACCEPTED into unstable Debian FTP Masters
- [Git][ocaml-team/hevea-doc][upstream] New upstream version 2.35 Ralf Treinen (@treinen)
- [Git][ocaml-team/hevea-doc][pristine-tar] pristine-tar data for hevea-doc_2.35.orig.tar.gz Ralf Treinen (@treinen)
- [Git][ocaml-team/hevea-doc][master] 7 commits: New upstream version 2.35 Ralf Treinen (@treinen)
- [Git][ocaml-team/hevea-doc] Pushed new tag debian/2.35-1 Ralf Treinen (@treinen)
- [Git][ocaml-team/hevea-doc] Pushed new tag upstream/2.35 Ralf Treinen (@treinen)
- [Git][ocaml-team/liquidsoap] Pushed new tag ubuntu/1.4.2-1_ltppa1 Kyle Robbertze (@paddatrapper)
- [Git][ocaml-team/liquidsoap] Pushed new branch ubuntu/libretime Kyle Robbertze (@paddatrapper)
- [Git][ocaml-team/liquidsoap] Pushed new tag ubuntu/1.4.1-1ubuntu0.20.04.1 Kyle Robbertze (@paddatrapper)
- Bug#997251: ocaml-taglib: FTBFS: ld: cannot find -lz Lucas Nussbaum
- Processing of camlzip_1.11-1_source.changes Debian FTP Masters
- camlzip_1.11-1_source.changes ACCEPTED into unstable Debian FTP Masters
- [Git][ocaml-team/camlzip] Pushed new tag upstream/1.11 Ralf Treinen (@treinen)
- Processing of camlbz2_0.7.0-1_source.changes Debian FTP Masters
- camlbz2_0.7.0-1_source.changes ACCEPTED into unstable Debian FTP Masters
- [Git][ocaml-team/camlbz2] Pushed new tag debian/0.7.0-1 Ralf Treinen (@treinen)
- Processed: Bug#995603 marked as pending in why3 Debian Bug Tracking System
- Processing of why3_1.3.3-2_source.changes Debian FTP Masters
- why3_1.3.3-2_source.changes ACCEPTED into unstable Debian FTP Masters
- Processing of why3_1.3.3-3_source.changes Debian FTP Masters
- why3_1.3.3-3_source.changes ACCEPTED into unstable Debian FTP Masters
- Packaging elpi, hierarchy-builder and recent a mathcomp -- starting to work on it Julien Puydt
- Processing of cudf_0.9-2_source.changes Debian FTP Masters
- cudf_0.9-2_source.changes ACCEPTED into unstable Debian FTP Masters
- Processing of alt-ergo_2.0.0-8_source.changes Debian FTP Masters
- Bug#977737: marked as done (alt-ergo suggests why, which isn't provided by any package) Debian Bug Tracking System
- alt-ergo_2.0.0-8_source.changes ACCEPTED into unstable Debian FTP Masters
- [Git][ocaml-team/alt-ergo] Pushed new tag debian/2.0.0-8 Ralf Treinen (@treinen)
- Bug#997993: ITP: elpi -- embeddable lambda-Prolog interpreter Julien Puydt
- Processing of elpi_1.13.7-1_amd64.changes Debian FTP Masters
- elpi_1.13.7-1_amd64.changes is NEW Debian FTP Masters
The last update was on 20:40 GMT Fri Oct 29. There are 88 messages. Page 1 of 1.
[Date Index]
[Subject Index]
[Author Index]
[Other Debian Lists]
[Debian Home]
Mail converted by MHonArc