proofgeneral
|
proofgeneral: revert needed deleted file
|
2017-05-25 12:51:04 -07:00 |
elpa-generated.nix
|
elpa-packages: 2017-07-25
|
2017-07-25 20:42:51 -04:00 |
melpa-generated.nix
|
melpa-packages: 2017-07-25
|
2017-07-25 20:42:52 -04:00 |
melpa-stable-generated.nix
|
melpa-stable-packages: 2017-07-25
|
2017-07-25 20:42:51 -04:00 |
org-generated.nix
|
org-packages: 2017-07-25
|
2017-07-25 20:42:51 -04:00 |