projects / gentoo.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 8641f4e) | patch
sci-mathematics/alt-ergo: Adding alt-ergo 1.30
authorTupone Alfredo <tupone@gentoo.org>
Sat, 14 Oct 2017 06:58:53 +0000 (08:58 +0200)
committerTupone Alfredo <tupone@gentoo.org>
Sat, 14 Oct 2017 06:58:53 +0000 (08:58 +0200)
commitebe231de790ad2672cfb20daaaa50d2789fb5e11
tree68e1a0560716e91b26237a79d7e10aa28b888bc0tree | snapshot
parent8641f4ecd15460581c51517a9ce54e9ac27b2f61commit | diff
sci-mathematics/alt-ergo: Adding alt-ergo 1.30

Package-Manager: Portage-2.3.8, Repoman-2.3.3
sci-mathematics/alt-ergo/Manifest [new file with mode: 0644] blob
sci-mathematics/alt-ergo/alt-ergo-1.30.ebuild [new file with mode: 0644] blob
sci-mathematics/alt-ergo/metadata.xml [new file with mode: 0644] blob
Unnamed repository; edit this file 'description' to name the repository.