Cyril Cohen 1550a4fe6b
coqPackages.multinomials: 1.5.2 -> 1.5.4 ( #115427 ) ...
- This is the first packages which uses Dune in order to build and install
so I had to refactor build-support/coq/default.nix in order to support it.
- I added a new feature: one can now release.v.sha256 empty to try to download
with a fake sha256, hence failures are reported and one can copy paste the
sha256 given by the error message.
- I updated the documentation of languages-frameworks/coq.section.md accordingly.
2021-03-10 16:25:32 +01:00
2021-02-03 15:56:34 -03:00
2021-01-24 01:49:49 +01:00
2021-02-02 17:26:35 +01:00
2021-03-04 18:17:39 +00:00
2021-03-03 19:35:16 +09:00
2021-01-19 01:16:25 -08:00
2021-01-26 00:41:50 +00:00
2021-02-23 19:20:12 +00:00
2021-03-04 18:17:39 +00:00
2021-03-10 16:25:32 +01:00
2021-03-09 09:06:04 +00:00
2021-01-19 01:16:25 -08:00
2021-01-24 01:49:49 +01:00
2021-02-25 22:30:40 +09:00
2021-02-08 17:54:12 +00:00
2021-01-20 09:11:11 +10:00
2021-02-08 19:18:17 +01:00
2021-01-25 18:31:47 +01:00
2021-01-30 22:31:24 +09:00
2021-02-20 15:22:57 +09:00
2020-12-21 13:20:04 +01:00
2021-01-27 13:01:51 +07:00
2021-01-24 01:49:49 +01:00
2021-01-27 13:01:51 +07:00
2021-01-27 13:01:51 +07:00
2021-03-04 19:54:50 +07:00
2021-01-27 13:01:51 +07:00
2020-11-09 11:39:28 +00:00
2020-12-08 23:55:31 +01:00
2021-02-05 13:08:57 +00:00
2021-02-20 21:13:46 +10:00
2021-01-24 01:49:49 +01:00
2021-01-27 13:01:51 +07:00
2021-01-24 01:49:49 +01:00
2020-11-27 01:17:32 +01:00
2020-12-27 08:04:16 -05:00
2021-03-07 12:07:14 +01:00
2021-01-24 19:07:54 -08:00
2021-02-07 11:00:42 -05:00
2021-02-26 10:25:13 +01:00
2021-02-09 13:05:38 +09:00
2021-01-24 01:49:49 +01:00
2021-01-24 19:56:59 +07:00
2021-01-24 01:49:49 +01:00
2021-02-19 20:09:16 +07:00
2021-01-24 01:49:49 +01:00
2021-03-05 18:14:34 +01:00
2021-03-04 15:26:36 +01:00
2021-01-25 18:31:47 +01:00
2021-02-12 12:53:20 +01:00
1550a4fe6b