diff options
| author |   Sergei Trofimovich <slyfox@gentoo.org> | 2020-10-08 19:22:38 +0100 |
|---|---|---|
| committer | Sergei Trofimovich <slyfox@gentoo.org> | 2020-10-08 19:22:38 +0100 |
| commit | 5f3bacb87367edb140d02e00fec2fc6214207356 (patch) | |
| tree | 5439fbab70b71a848cf1ee519e16a8a3634469d3 /sci-mathematics/why3-for-spark | |
| parent | sci-mathematics/agda: drop old (diff) | |
| download | gentoo-5f3bacb87367edb140d02e00fec2fc6214207356.tar.gz gentoo-5f3bacb87367edb140d02e00fec2fc6214207356.tar.bz2 gentoo-5f3bacb87367edb140d02e00fec2fc6214207356.zip | |
sci-mathematics/agda-stdlib: drop old
Package-Manager: Portage-3.0.8, Repoman-3.0.1
Signed-off-by: Sergei Trofimovich <slyfox@gentoo.org>
Diffstat (limited to 'sci-mathematics/why3-for-spark')
0 files changed, 0 insertions, 0 deletions