diff options
| author |   Repository mirror & CI <repomirrorci@gentoo.org> | 2021-09-12 08:06:11 +0000 |
|---|---|---|
| committer | Repository mirror & CI <repomirrorci@gentoo.org> | 2021-09-12 08:06:11 +0000 |
| commit | 78a7e4c217b1d381f3f952dd7f52c4027217d31b (patch) | |
| tree | 10c69a6ee5efe121535feb35c4816126f0e007ef /science.txt | |
| parent | 2021-09-12T07:30:02Z (diff) | |
| download | repos-78a7e4c217b1d381f3f952dd7f52c4027217d31b.tar.gz repos-78a7e4c217b1d381f3f952dd7f52c4027217d31b.tar.bz2 repos-78a7e4c217b1d381f3f952dd7f52c4027217d31b.zip | |
2021-09-12T08:00:01Z
Diffstat (limited to 'science.txt')
| -rw-r--r-- | science.txt | 12 |
1 files changed, 11 insertions, 1 deletions
diff --git a/science.txt b/science.txt index 3d5251945a03..bbd1cf9baf4d 100644 --- a/science.txt +++ b/science.txt @@ -29,7 +29,17 @@ pkgcore 0.12.7 $ pmaint --config /var/lib/repo-mirror-ci/data-sync/etc/portage sync science *** syncing science -Already up to date. +From https://anongit.gentoo.org/git/proj/sci + f90850f3d..a9a6dc877 master -> origin/master +Updating f90850f3d..a9a6dc877 +Fast-forward + sci-mathematics/acl2/Manifest | 1 + + sci-mathematics/acl2/acl2-8.4.ebuild | 86 ++++++++++++++++++++++ + .../acl2/files/acl2-use_make_variable.patch | 13 ++++ + sci-mathematics/acl2/metadata.xml | 2 +- + 4 files changed, 101 insertions(+), 1 deletion(-) + create mode 100644 sci-mathematics/acl2/acl2-8.4.ebuild + create mode 100644 sci-mathematics/acl2/files/acl2-use_make_variable.patch *** synced science * Sync succeeded $ git log --format=%ci -1 |