diff options
| author | Ludovic Courtès <ludo@gnu.org> | 2019-01-17 15:07:07 +0100 |
|---|---|---|
| committer | Ludovic Courtès <ludo@gnu.org> | 2019-01-18 17:51:34 +0100 |
| commit | 7bf1dc75706d558cea41e24ce90f2eb0c026996d (patch) | |
| tree | e1d273d727a224a7d3d1a165373775effcf967fb /tests | |
| parent | cf22e99f0252a4712ab94d630dc4914c9a89f18d (diff) | |
| download | patches-7bf1dc75706d558cea41e24ce90f2eb0c026996d.tar patches-7bf1dc75706d558cea41e24ce90f2eb0c026996d.tar.gz | |
build: Add coq.scm to the distribution.
This is a followup to 33af92dd99c9f2c726c32f81936931c69d719eb9.
* gnu/local.mk (GNU_SYSTEM_MODULES): Add gnu/packages/coq.scm.
Diffstat (limited to 'tests')
0 files changed, 0 insertions, 0 deletions