diff options
| author | Mark H Weaver <mhw@netris.org> | 2015-06-08 05:05:23 -0400 |
|---|---|---|
| committer | Mark H Weaver <mhw@netris.org> | 2015-06-08 20:08:50 -0400 |
| commit | 0705f79c6f45108961b901e50f828a978fa0e4e8 (patch) | |
| tree | 5caecfb80a165dd2477b0fe91edf2dffdda06bb3 /tests/union.scm | |
| parent | 5dc42964a7899ffdb668e74c62d89f8b7718818e (diff) | |
| download | patches-0705f79c6f45108961b901e50f828a978fa0e4e8.tar patches-0705f79c6f45108961b901e50f828a978fa0e4e8.tar.gz | |
gnu: Add proof-general.
* gnu/packages/ocaml.scm (proof-general): New variable.
Diffstat (limited to 'tests/union.scm')
0 files changed, 0 insertions, 0 deletions