Gentoo Websites Logo
Go to: Gentoo Home Documentation Forums Lists Bugs Planet Store Wiki Get Gentoo!

Bug 769317

Summary: sci-mathematics/coq-8.12.0-r1, dev-ml/lablgtk-3.1.1, and mega dev-ml/*: cleanup (was: stabilisation)
Product: Gentoo Linux Reporter: Andreas Sturmlechner <asturm>
Component: Current packagesAssignee: Gentoo Science Mathematics related packages <sci-mathematics>
Status: RESOLVED FIXED    
Severity: normal CC: gienah, ml
Priority: Normal    
Version: unspecified   
Hardware: All   
OS: Linux   
See Also: https://bugs.gentoo.org/show_bug.cgi?id=750956
https://bugs.gentoo.org/show_bug.cgi?id=757444
https://bugs.gentoo.org/show_bug.cgi?id=750383
Whiteboard: Need to be careful with cleanup b/c of underspecified deps. May be better to port some to EAPI 7 than drop EAPI 5 versions for now.
Package list:
sci-mathematics/coq-8.12.0-r1 amd64 x86 dev-ml/lablgtk-3.1.1 dev-ml/lablgtk-sourceview-3.1.1 dev-ml/cairo2-0.6.1 dev-ml/camlp5-7.14 dev-ml/dune-configurator-2.7.1 dev-ml/csexp-1.3.2-r1 dev-ml/ppx_expect-0.14.0 dev-ml/dune-private-libs-2.7.1 dev-ml/dune-2.7.1 dev-ml/result-1.5 dev-ml/base-0.14.0 dev-ml/re-1.9.0 dev-ml/cinaps-0.14.0 dev-ml/ocaml-compiler-libs-0.12.3 dev-ml/ocaml-migrate-parsetree-2.1.0 dev-ml/ppx_here-0.14.0 dev-ml/ppx_inline_test-0.14.1 dev-ml/ppxlib-0.20.0 dev-ml/stdio-0.14.0 dev-ml/ppx_jane-0.14.0 dev-ml/ounit2-2.2.3 dev-ml/seq-0.2 dev-ml/sexplib0-0.14.0 dev-ml/time_now-0.14.0 dev-ml/ppx_derivers-1.2.1 dev-ml/stdlib-shims-0.2.0 dev-ml/lwt-5.3.0-r1 dev-ml/opam-installer-2.0.7-r1 dev-ml/jane-street-headers-0.14.0 dev-ml/jst-config-0.14.0 dev-ml/ppx_base-0.14.0 dev-ml/ppx_optcomp-0.14.0 dev-ml/ppx_assert-0.14.0 dev-ml/ppx_cold-0.14.0 dev-ml/ppx_compare-0.14.0 dev-ml/ppx_enumerate-0.14.0 dev-ml/ppx_hash-0.14.0 dev-ml/ppx_js_style-0.14.0 dev-ml/ppx_sexp_conv-0.14.1 dev-ml/mmap-1.1.0 dev-ml/ocplib-endian-1.1-r1 dev-ml/react-1.2.1-r1 dev-ml/cppo-1.6.7 dev-ml/octavius-1.2.2 dev-ml/topkg-1.0.3 dev-ml/base_quickcheck-0.14.0 dev-ml/ppx_bench-0.14.1 dev-ml/ppx_bin_prot-0.14.0 dev-ml/ppx_custom_printf-0.14.0 dev-ml/ppx_fail-0.14.0 dev-ml/ppx_fields_conv-0.14.1 dev-ml/ppx_fixed_literal-0.14.0 dev-ml/ppx_let-0.14.0 dev-ml/ppx_module_timer-0.14.0 dev-ml/ppx_optional-0.14.0 dev-ml/ppx_pipebang-0.14.0 dev-ml/ppx_sexp_message-0.14.0 dev-ml/ppx_sexp_value-0.14.0 dev-ml/ppx_stable-0.14.1 dev-ml/ppx_string-0.14.1 dev-ml/ppx_typerep_conv-0.14.1 dev-ml/ppx_variants_conv-0.14.1 dev-ml/splittable_random-0.14.0 dev-ml/bin_prot-0.14.0 dev-ml/fieldslib-0.14.0 dev-ml/typerep-0.14.0 dev-ml/variantslib-0.14.0 dev-ml/cmdliner-1.0.4 dev-ml/opam-format-2.0.7-r2 dev-ml/opam-file-format-2.1.0 dev-ml/opam-core-2.0.7 dev-ml/ocamlgraph-1.8.8-r1 dev-ml/ocamlweb-1.41 dev-tex/hevea-2.31 dev-ml/dose3-5.0.1_p16-r2 dev-ml/camlbz2-0.7.0 dev-ml/cudf-0.9 dev-ml/ocaml-expat-1.1.0-r1 dev-ml/ocurl-0.9.1 dev-ml/parmap-1.2 dev-ml/extlib-1.7.7 dev-ml/camlzip-1.10 dev-ml/xml-light-2.2-r3
Runtime testing required: ---
Bug Depends on:    
Bug Blocks: 698100, 769287    

Description Andreas Sturmlechner gentoo-dev 2021-02-07 15:31:39 UTC
How about that?
Comment 1 NATTkA bot gentoo-dev 2021-02-07 15:32:53 UTC Comment hidden (obsolete)
Comment 2 NATTkA bot gentoo-dev 2021-02-07 16:24:58 UTC Comment hidden (obsolete)
Comment 3 NATTkA bot gentoo-dev 2021-02-07 16:36:58 UTC Comment hidden (obsolete)
Comment 4 NATTkA bot gentoo-dev 2021-02-07 16:41:00 UTC Comment hidden (obsolete)
Comment 5 NATTkA bot gentoo-dev 2021-02-07 16:45:00 UTC Comment hidden (obsolete)
Comment 6 NATTkA bot gentoo-dev 2021-02-07 16:57:00 UTC Comment hidden (obsolete)
Comment 7 Larry the Git Cow gentoo-dev 2021-02-08 07:13:14 UTC
The bug has been referenced in the following commit(s):

https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=70c713a0bcc9302c5a9a919a6c4a5a2699e26942

commit 70c713a0bcc9302c5a9a919a6c4a5a2699e26942
Author:     Sam James <sam@gentoo.org>
AuthorDate: 2021-02-08 07:13:03 +0000
Commit:     Sam James <sam@gentoo.org>
CommitDate: 2021-02-08 07:13:12 +0000

    sci-mathematics/coq: lower OCaml dep
    
    Bug: https://bugs.gentoo.org/769317
    Package-Manager: Portage-3.0.14, Repoman-3.0.2
    Signed-off-by: Sam James <sam@gentoo.org>

 .../coq/{coq-8.12.0.ebuild => coq-8.12.0-r1.ebuild}            | 10 ++++++----
 1 file changed, 6 insertions(+), 4 deletions(-)
Comment 8 NATTkA bot gentoo-dev 2021-02-08 07:16:52 UTC Comment hidden (obsolete)
Comment 9 NATTkA bot gentoo-dev 2021-02-08 07:20:58 UTC Comment hidden (obsolete)
Comment 10 NATTkA bot gentoo-dev 2021-02-08 07:25:00 UTC Comment hidden (obsolete)
Comment 11 NATTkA bot gentoo-dev 2021-02-08 07:37:04 UTC Comment hidden (obsolete)
Comment 12 NATTkA bot gentoo-dev 2021-02-08 07:53:01 UTC Comment hidden (obsolete)
Comment 13 NATTkA bot gentoo-dev 2021-02-08 08:09:02 UTC Comment hidden (obsolete)
Comment 14 NATTkA bot gentoo-dev 2021-02-08 08:16:50 UTC Comment hidden (obsolete)
Comment 15 NATTkA bot gentoo-dev 2021-02-08 08:25:06 UTC Comment hidden (obsolete)
Comment 16 NATTkA bot gentoo-dev 2021-02-08 08:33:06 UTC Comment hidden (obsolete)
Comment 17 NATTkA bot gentoo-dev 2021-02-08 17:25:05 UTC Comment hidden (obsolete)
Comment 18 NATTkA bot gentoo-dev 2021-02-08 17:29:55 UTC Comment hidden (obsolete)
Comment 19 NATTkA bot gentoo-dev 2021-02-08 17:33:04 UTC Comment hidden (obsolete)
Comment 20 NATTkA bot gentoo-dev 2021-02-09 22:01:40 UTC Comment hidden (obsolete)
Comment 21 NATTkA bot gentoo-dev 2021-02-09 22:54:04 UTC Comment hidden (obsolete)
Comment 22 NATTkA bot gentoo-dev 2021-02-09 22:58:16 UTC Comment hidden (obsolete)
Comment 23 NATTkA bot gentoo-dev 2021-02-09 23:17:49 UTC Comment hidden (obsolete)
Comment 24 NATTkA bot gentoo-dev 2021-02-10 01:56:52 UTC Comment hidden (obsolete)
Comment 25 Sam James archtester Gentoo Infrastructure gentoo-dev Security 2021-02-10 16:32:58 UTC
ppc64 done
Comment 26 Sam James archtester Gentoo Infrastructure gentoo-dev Security 2021-02-10 18:53:23 UTC
amd64 done
Comment 27 Sam James archtester Gentoo Infrastructure gentoo-dev Security 2021-02-11 06:25:42 UTC
x86 done
Comment 28 Sam James archtester Gentoo Infrastructure gentoo-dev Security 2021-02-11 06:31:29 UTC
ppc done

all arches done
Comment 29 Sam James archtester Gentoo Infrastructure gentoo-dev Security 2021-02-11 06:32:08 UTC
Reopening for cleanup but as per whiteboard, I don't want to rush this just yet.