diff options
| author |   Repository mirror & CI <repomirrorci@gentoo.org> | 2024-11-24 14:48:18 +0000 |
|---|---|---|
| committer | Repository mirror & CI <repomirrorci@gentoo.org> | 2024-11-24 14:48:18 +0000 |
| commit | 4bfbf9cfe8135b3f41f4f032496733ff7dc62baf (patch) | |
| tree | a05d321b15b04fb2b7bc4d97f1d82947ffdf31ef | |
| parent | Merge updates from master (diff) | |
| download | gentoo-4bfbf9cfe8135b3f41f4f032496733ff7dc62baf.tar.gz gentoo-4bfbf9cfe8135b3f41f4f032496733ff7dc62baf.tar.bz2 gentoo-4bfbf9cfe8135b3f41f4f032496733ff7dc62baf.zip | |
2024-11-24 14:48:17 UTC
| -rw-r--r-- | metadata/md5-cache/sci-mathematics/gap-4.13.1-r2 (renamed from metadata/md5-cache/sci-mathematics/gap-4.13.1-r1) | 2 | ||||
| -rw-r--r-- | metadata/pkg_desc_index | 2 | ||||
| -rw-r--r-- | metadata/timestamp.chk | 2 |
3 files changed, 3 insertions, 3 deletions
diff --git a/metadata/md5-cache/sci-mathematics/gap-4.13.1-r1 b/metadata/md5-cache/sci-mathematics/gap-4.13.1-r2 index e0dc0819b076..bfb4dccf7560 100644 --- a/metadata/md5-cache/sci-mathematics/gap-4.13.1-r1 +++ b/metadata/md5-cache/sci-mathematics/gap-4.13.1-r2 @@ -15,4 +15,4 @@ RESTRICT=!test? ( test ) SLOT=0/9 SRC_URI=https://github.com/gap-system/gap/releases/download/v4.13.1/gap-4.13.1-core.tar.gz _eclasses_=estack c61c368a76fdf3a82fdf8dbaebea3804 -_md5_=755a4a1ca3195f10985329f9c48f8bc1 +_md5_=cb2e2fde06b467284a60ebcc578ff05d diff --git a/metadata/pkg_desc_index b/metadata/pkg_desc_index index b48e66c1d652..a6093fd0794f 100644 --- a/metadata/pkg_desc_index +++ b/metadata/pkg_desc_index @@ -16281,7 +16281,7 @@ sci-mathematics/flocq 4.1.0-r1 4.1.1: Formalization of floating-point arithmetic sci-mathematics/form 4.3.1 5.0.0_beta1: Symbolic Manipulation System sci-mathematics/fricas 1.3.11-r3: FriCAS is a fork of Axiom computer algebra system sci-mathematics/frobby 0.9.0-r4: Software system and project for computations with monomial ideals -sci-mathematics/gap 4.13.1 4.13.1-r1 4.14.0_beta1: System for computational discrete algebra. Core functionality. +sci-mathematics/gap 4.13.1 4.13.1-r2 4.14.0_beta1: System for computational discrete algebra. Core functionality. sci-mathematics/gappa 1.4.1 1.4.2: Tool for verifying floating-point or fixed-point arithmetic sci-mathematics/gappalib-coq 1.5.2-r1 1.5.3: Allows the certificates Gappa generates to be imported by the Coq sci-mathematics/genius 1.0.27: Genius Mathematics Tool and the GEL Language diff --git a/metadata/timestamp.chk b/metadata/timestamp.chk index f2082f6fd5a7..30cddeb0b7fc 100644 --- a/metadata/timestamp.chk +++ b/metadata/timestamp.chk @@ -1 +1 @@ -Sun, 24 Nov 2024 14:33:21 +0000 +Sun, 24 Nov 2024 14:48:17 +0000 |