coq-mathcomp/.github/workflows, branch master

update to last coq-nix-toolbox

2021-04-01T10:10:57+00:00

up

2021-03-17T17:25:57+00:00

Update nix toolbox version (#715)

2021-03-12T16:30:13+00:00

* toolbox update

* remove unnecessary step

* update local shell version

Use nix-tool-box

2021-03-12T12:51:10+00:00

Revert "Use nix-tool-box"

2021-03-12T12:18:16+00:00

This reverts commit 8674d6996fca76028ead3f75363f11bab4fa3e7c that I
added by accident

Use nix-tool-box

2021-03-12T09:18:31+00:00

Update nix.yml (#699)

2021-02-17T20:43:35+00:00

* Update nix ci

Drop support for Coq 8.10 and deprecate the `deprecate` notation

2021-01-15T15:28:21+00:00

- The `deprecate` notation and `iota_add` have been deprecated. All the uses of
  the `deprecate` notation have been replaced with the `deprecated` attribute.
- Deprecation aliases in `ssrnat` and `ssrnum` introduced in MathComp 1.11+beta1
  have been removed.
- Remove `VDFILE` related hacks from `Makefile.common`.

Update nix.yml

2020-11-20T17:04:40+00:00

Turn class_of records into primitive records and get rid of the xclass idiom

2020-10-07T14:23:26+00:00