projects / gentoo.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: cf24712) | patch
dev-haskell/logict-state: new package, a depend of sci-mathematics/agda-2.5.2
authorSergei Trofimovich <slyfox@gentoo.org>
Wed, 15 Feb 2017 22:14:09 +0000 (22:14 +0000)
committerSergei Trofimovich <slyfox@gentoo.org>
Thu, 16 Feb 2017 10:21:22 +0000 (10:21 +0000)
commit71ec8d4f06bb8b0287fab564d3f1f0966e7d396d
treed4b1ef5926b773d8de619c2c3482af670f25327etree | snapshot
parentcf2471231def2241ad2544606b36ae7c19966af0commit | diff
dev-haskell/logict-state: new package, a depend of sci-mathematics/agda-2.5.2

Library for logic programming based on haskell package logict

Package-Manager: Portage-2.3.3, Repoman-2.3.1
dev-haskell/logict-state/Manifest [new file with mode: 0644] blob
dev-haskell/logict-state/logict-state-0.1.0.2.ebuild [new file with mode: 0644] blob
dev-haskell/logict-state/metadata.xml [new file with mode: 0644] blob
Unnamed repository; edit this file 'description' to name the repository.