update URL to nicer style

coq · Nov 3, 2018 · c70070d · c70070d
1 parent 3349599
commit c70070d
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/released/packages/coq-stdpp/coq-stdpp.1.0.0/url b/released/packages/coq-stdpp/coq-stdpp.1.0.0/url
@@ -1,2 +1,2 @@
-http: "https://gitlab.mpi-sws.org/robbertkrebbers/coq-stdpp/repository/archive.tar.gz?ref=coq-stdpp-1.0.0"
+http: "https://gitlab.mpi-sws.org/robbertkrebbers/coq-stdpp/repository/coq-stdpp-1.0.0/archive.tar.gz"
 checksum: "274b1c461dd99b541d41500959498dee"