aboutsummaryrefslogtreecommitdiff
path: root/Makefile.am
diff options
context:
space:
mode:
authorTobias Geerinckx-Rice <me@tobias.gr>2018-03-22 15:17:11 +0100
committerTobias Geerinckx-Rice <me@tobias.gr>2018-03-23 11:32:15 +0100
commitdd8237b6c3012b8576e19631a4c11484d0ee9cfa (patch)
treeeaab31ae7a36379d8277b2039b5bb85c92c20fb7 /Makefile.am
parent77f2ced1a68edf3c676dcc1b81f856cae072b163 (diff)
downloadpatches-dd8237b6c3012b8576e19631a4c11484d0ee9cfa.tar
patches-dd8237b6c3012b8576e19631a4c11484d0ee9cfa.tar.gz
gnu: coq-flocq: Use predictable source URI.
* gnu/packages/ocaml.scm (coq-flocq)[source]: Use predictable URI.
Diffstat (limited to 'Makefile.am')
0 files changed, 0 insertions, 0 deletions