projects / gentoo.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 087d620) | patch
sci-mathematics/psmt2-frontend: add psmt2-frontend
authorTupone Alfredo <tupone@gentoo.org>
Fri, 26 Jul 2019 06:44:09 +0000 (08:44 +0200)
committerTupone Alfredo <tupone@gentoo.org>
Fri, 26 Jul 2019 06:45:22 +0000 (08:45 +0200)
commit1080ec3defe35b1161935994afc48310b1f1ec27
treefb81bf1a7bc45b412c919999759be83d389c0201tree | snapshot
parent087d620e1166afdfbea7596cd5bd10cc78318394commit | diff
sci-mathematics/psmt2-frontend: add psmt2-frontend

Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
Package-Manager: Portage-2.3.66, Repoman-2.3.11
sci-mathematics/psmt2-frontend/Manifest [new file with mode: 0644] blob
sci-mathematics/psmt2-frontend/files/psmt2-frontend-0.2-gentoo.patch [new file with mode: 0644] blob
sci-mathematics/psmt2-frontend/metadata.xml [new file with mode: 0644] blob
sci-mathematics/psmt2-frontend/psmt2-frontend-0.2.ebuild [new file with mode: 0644] blob
Unnamed repository; edit this file 'description' to name the repository.