diff options
| author | Vincent Laporte | 2019-03-15 13:37:28 +0000 |
|---|---|---|
| committer | Vincent Laporte | 2019-03-18 08:56:11 +0000 |
| commit | 23f2c0405fe55d3c2f63e65880da906acf213254 (patch) | |
| tree | a59ddadb0e213ecb7b2797f0933c7dd6232bf33a /default.nix | |
| parent | b159fc36aa38bbe1ce3d87d96adffe161baf8662 (diff) | |
[nix-ci] Use “master” versions of “coq-ext-lib” and “simple-io”
Diffstat (limited to 'default.nix')
0 files changed, 0 insertions, 0 deletions