coq-mathcomp/etc/utils/packager, branch master Library of mathematical components formalized in Coq Generated opam packages allow coq-dev again 2020-06-10T13:37:16+00:00 Cyril Cohen 2020-06-10T13:34:32+00:00 02ca8ee07c590a86a98ebefb791a6bc1ed30a5e5 As a result of [a discussion on Zulip](https://coq.zulipchat.com/#narrow/stream/237665-math-comp-devs/topic/MathComp.201.2E11.2E0.20OPAM.20packages.20Coq.20compatibility) Reverts "removing opam `| (= "dev")` for released packages" (commit 313e44316177c918b363c118f15297e08d13eb4e). 
As a result of [a discussion on Zulip](https://coq.zulipchat.com/#narrow/stream/237665-math-comp-devs/topic/MathComp.201.2E11.2E0.20OPAM.20packages.20Coq.20compatibility)
Reverts "removing opam `| (= "dev")` for released packages"
(commit 313e44316177c918b363c118f15297e08d13eb4e).
removing opam `| (= "dev")` for released packages 2020-06-09T15:09:34+00:00 Cyril Cohen 2020-06-09T15:09:34+00:00 313e44316177c918b363c118f15297e08d13eb4e 






URL in https
2020-05-27T17:50:10+00:00

Cyril Cohen

2020-05-27T17:50:10+00:00

14291b88255b7a1a110c21dec5a3754f25ec8881












fix packager
2020-04-15T16:49:51+00:00

Cyril Cohen

2020-04-15T16:49:51+00:00

709756f9bbb92b5e5844e0133627271c974a11c2












take advantage of opam variables and their default values
2019-12-02T12:49:07+00:00

Yves Bertot

2019-12-02T12:31:31+00:00

0cfd17ed2c13ef8e88384b0135501f159d49bb90












switching to opam 2.0 format
2019-04-08T15:59:44+00:00

Cyril Cohen

2019-04-08T15:45:16+00:00

78b4d07568d5df23bd684e4b21ba63e9920debaa












fix etc/utils/packager (#273)
2019-02-05T14:41:56+00:00

Cyril Cohen

2019-02-05T14:41:56+00:00

b452b90322a19f190109d51ce423483bbff98e08












replacing my local `git root` by a universal command
2018-04-24T15:51:06+00:00

Cyril Cohen

2018-04-24T15:51:06+00:00

13bfbfe9d2a5c3d58a4eb5ab6950009cab1df70f












fix opam packager script + dependencies
2018-04-24T13:40:01+00:00

Cyril Cohen

2018-04-24T13:40:01+00:00

b941b463134b62962ebca656d5906bb3bcb07395












reproduce github archive locally rather than downloading, much faster
2017-10-20T00:42:37+00:00

Cyril Cohen

2017-10-20T00:42:37+00:00

33477fadfd9533fac08f888527c7ad3083899af2