[gentoo-commits] repo/gentoo:master commit in: sci-mathematics/agda-stdlib/files/

2021-01-20 Thread David Seifert
commit: a5eb99172bd78c8c3ff090c555da11ed3405436f Author: Jakov Smolic sartura hr> AuthorDate: Wed Jan 20 10:15:59 2021 + Commit: David Seifert gentoo org> CommitDate: Wed Jan 20 10:15:59 2021 + URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=a5eb9917

[gentoo-commits] repo/gentoo:master commit in: sci-mathematics/agda-stdlib/files/

2017-02-16 Thread Sergei Trofimovich
commit: 15db6e80760c5c0633251eaf0058ca8e6a10ff2f Author: Sergei Trofimovich gentoo org> AuthorDate: Fri Feb 17 00:01:46 2017 + Commit: Sergei Trofimovich gentoo org> CommitDate: Fri Feb 17 00:01:53 2017 + URL: