gnu/packages/coq.scm · aaa2add87111051b01159aa2e46dd7f55b28edb6 · ogs / inf / Guix · GitLab

Snippets Groups Projects

6 years ago
aaa2add8
gnu: coq-mathcomp: Don't use unstable tarball. · aaa2add8
Tobias Geerinckx-Rice authored 6 years ago
```
* gnu/packages/coq.scm (coq-mathcomp)[source]: Use GIT-FETCH and
GIT-FILE-NAME.
```
Unverified
aaa2add8

History
gnu: coq-mathcomp: Don't use unstable tarball.
Tobias Geerinckx-Rice authored 6 years ago
```
* gnu/packages/coq.scm (coq-mathcomp)[source]: Use GIT-FETCH and
GIT-FILE-NAME.
```

Code owners

Assign users and groups as approvers for specific file changes. Learn more.