diff options
| author | Paul Garlick <pgarlick@tourbillion-technology.com> | 2019-07-12 10:56:41 +0100 |
|---|---|---|
| committer | Paul Garlick <pgarlick@tourbillion-technology.com> | 2019-07-16 22:19:26 +0100 |
| commit | 37dc29200c44adc0474476b8df46ed44e8a1d41a (patch) | |
| tree | c114ea4efe415880184312b9535710e23faae85a /gnu/packages/coq.scm | |
| parent | 844cb1b64dedf1ff80c811a1d00599e1d1f78d70 (diff) | |
gnu: Add opencascade-occt.
* gnu/packages/maths.scm (opencascade-occt): New variable.
Diffstat (limited to 'gnu/packages/coq.scm')
0 files changed, 0 insertions, 0 deletions