The latest version of vampire is 0.1.3.0-0.
lib:vampire
Modules
Dependencies
- base lib:base >=4.6 && <4.7
- deepseq lib:deepseq >=0
- dlist lib:dlist >=0
- fgl lib:fgl >=0
- graphviz lib:graphviz >=0
- haskell-src-exts lib:haskell-src-exts >=0
- mtl lib:mtl >=0
- optparse-applicative lib:optparse-applicative >=0
- uniplate lib:uniplate >=0
Reverse dependencies
Direct only. Not exhaustive.
- acme-everything lib:acme-everything