diff options
| author | Tobias Geerinckx-Rice <me@tobias.gr> | 2020-01-18 21:29:56 +0100 |
|---|---|---|
| committer | Tobias Geerinckx-Rice <me@tobias.gr> | 2020-02-29 15:21:45 +0100 |
| commit | 91c19e76a5c456c2861ca48754563e7cc86ff5f2 (patch) | |
| tree | 63af0937cfeb7aac86273e8d91f4bb440aedc5e1 /gnu/packages/coq.scm | |
| parent | ba11a8bdf466071967c6a472f8640c6d894b201b (diff) | |
| download | patches-91c19e76a5c456c2861ca48754563e7cc86ff5f2.tar patches-91c19e76a5c456c2861ca48754563e7cc86ff5f2.tar.gz | |
gnu: ocaml-mccs: Use HTTPS home page.
* gnu/packages/ocaml.scm (ocaml-mccs)[home-page]: Use HTTPS.
Diffstat (limited to 'gnu/packages/coq.scm')
0 files changed, 0 insertions, 0 deletions