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