diff options
| author | Björn Höfling <bjoern.hoefling@bjoernhoefling.de> | 2020-03-05 10:02:40 +0100 |
|---|---|---|
| committer | Björn Höfling <bjoern.hoefling@bjoernhoefling.de> | 2020-03-05 10:11:34 +0100 |
| commit | 6656123d26e0988461c320636f3bfcbe86370248 (patch) | |
| tree | c209b6e40c326fa9488a83bf890496fc1f81775d /gnu/packages/smalltalk.scm | |
| parent | c5bb55a8446f94098d4484e47c1cf976b726ef14 (diff) | |
| download | patches-6656123d26e0988461c320636f3bfcbe86370248.tar patches-6656123d26e0988461c320636f3bfcbe86370248.tar.gz | |
gnu: coq-mathcomp: Update home page URI.
* gnu/packages/coq.scm (coq-mathcomp)[home-page]: Update URI.
Diffstat (limited to 'gnu/packages/smalltalk.scm')
0 files changed, 0 insertions, 0 deletions