cafkafk/nixpkgs
cafkafk/nixpkgs
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions 2
82340 commits 1 branch 0 tags 3.7 GiB
Commit graph

1 commit

Author SHA1 Message Date
John Wiegley
0ee75214f3 proofgeneral_HEAD: New expr: Proof General from GitHub 2016-03-07 07:16:04 -08:00