diff options
| author | Dan Rostovtsev <dan@rostovtsev.org> | 2026-04-10 09:43:06 -0400 |
|---|---|---|
| committer | Dan Rostovtsev <dan@rostovtsev.org> | 2026-04-10 09:43:06 -0400 |
| commit | 3bf88ef19b2c51162886321a8557449a96c4f1c4 (patch) | |
| tree | 9b5c6d9d8f2c47a1d247aef3709ef4f9d6a63448 /gnu/packages/python-web.scm | |
| parent | 1bfc951376ebb55830d7e7daba483c77fe8bee0c (diff) | |
gnu: Add rocq module.
Preparing the addition of packages for the renamed proof assistant.
* gnu/packages/rocq.scm (rocq-arguments): A helper to specify shared dune
build settings for the packages in the rocq repository.
Change-Id: I666c909a1b1ce89bbc3bc324d5d05ece0cfbfc19
Diffstat (limited to 'gnu/packages/python-web.scm')
0 files changed, 0 insertions, 0 deletions