gebner/nixos-config
1
0
Fork 0
Code Issues Pull Requests Projects Releases Wiki Activity

Merge branch 'master' of https://git.gebner.org/gebner/nixos-config

Browse Source
This commit is contained in:
Gabriel Ebner 2015-12-24 13:20:40 +01:00
commit 38dd4b342d
1 changed files with 1 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

1
common.nix
View File

@ -92,6 +92,7 @@
prover9 prover9
eprover eprover
metis-prover metis-prover
spass
z3 z3
why3 why3
graphviz graphviz