diff options
author | Repository mirror & CI <repomirrorci@gentoo.org> | 2021-03-04 12:21:57 +0000 |
---|---|---|
committer | Repository mirror & CI <repomirrorci@gentoo.org> | 2021-03-04 12:21:57 +0000 |
commit | d1f12ac816a8908198f899a086ec2ca50deae87e (patch) | |
tree | f47b368847ce873df1de93d2ab97c14d79809037 /science.txt | |
parent | 2021-03-04T12:00:01Z (diff) | |
download | repos-d1f12ac816a8908198f899a086ec2ca50deae87e.tar.gz repos-d1f12ac816a8908198f899a086ec2ca50deae87e.tar.bz2 repos-d1f12ac816a8908198f899a086ec2ca50deae87e.zip |
2021-03-04T12:15:01Z
Diffstat (limited to 'science.txt')
-rw-r--r-- | science.txt | 21 |
1 files changed, 12 insertions, 9 deletions
diff --git a/science.txt b/science.txt index ee042b48784f..9a11bd1619f1 100644 --- a/science.txt +++ b/science.txt @@ -40,16 +40,19 @@ or --ff-only on the command line to override the configured default per invocation. From https://anongit.gentoo.org/git/proj/sci - 6065d42ba..3da11fc58 master -> origin/master -Updating 6065d42ba..3da11fc58 + 3da11fc58..ecd9b59ce master -> origin/master +Updating 3da11fc58..ecd9b59ce Fast-forward - sci-mathematics/libsfmt/libsfmt-1.3.0.ebuild | 5 ++- - sci-mathematics/why3/Manifest | 2 +- - sci-mathematics/why3/why3-0.83.ebuild | 59 ------------------------ - sci-mathematics/why3/why3-1.3.3.ebuild | 67 ++++++++++++++++++++++++++++ - 4 files changed, 71 insertions(+), 62 deletions(-) - delete mode 100644 sci-mathematics/why3/why3-0.83.ebuild - create mode 100644 sci-mathematics/why3/why3-1.3.3.ebuild + sci-mathematics/flocq/Manifest | 2 +- + .../flocq/{flocq-2.3.0.ebuild => flocq-3.4.0.ebuild} | 12 ++++++------ + sci-mathematics/gappa/Manifest | 2 +- + .../gappa/{gappa-1.1.1.ebuild => gappa-1.3.5.ebuild} | 14 ++++++++------ + sci-mathematics/gappalib-coq/Manifest | 2 +- + ...alib-coq-1.0.0.ebuild => gappalib-coq-1.4.6.ebuild} | 18 ++++++++++-------- + 6 files changed, 27 insertions(+), 23 deletions(-) + rename sci-mathematics/flocq/{flocq-2.3.0.ebuild => flocq-3.4.0.ebuild} (75%) + rename sci-mathematics/gappa/{gappa-1.1.1.ebuild => gappa-1.3.5.ebuild} (77%) + rename sci-mathematics/gappalib-coq/{gappalib-coq-1.0.0.ebuild => gappalib-coq-1.4.6.ebuild} (71%) *** syncing science *** synced science * Sync succeeded |