Public Git Hosting - aur-mirror.git/tree - haskell-logic-tptp/

summary | log | graphiclog1 | graphiclog2 | commit | commitdiff | tree | refs | edit | fork
history | HEAD | snapshot (tar.gz zip)

[aur-mirror.git] / haskell-logic-tptp /

tree	b4718ad753673c59c8388bfdc634faa623046098

drwxr-xr-x		..
-rw-r--r--	1586	PKGBUILD	blob \| blame \| history \| raw
-rw-r--r--	421	haskell-logic-tptp.install	blob \| blame \| history \| raw

AUR mirror