coq/dev/ci/nix/unicoq, branch master
The formal proof system
[Nix-ci] Update Unicoq patch
2019-05-17T08:36:25+00:00
Vincent Laporte
2019-05-15T12:14:24+00:00
3faa91524befcd3c163ec34684986fde3aa37462
[Nix-CI] Fix Unicoq
2019-02-05T15:54:45+00:00
Vincent Laporte
2019-01-28T15:00:04+00:00
cb89f2f623e28ac6c23330cb1b37622f93780088
[Nix-ci] Fix Unicoq
2019-01-24T14:53:08+00:00
Vincent Laporte
2018-12-03T13:18:50+00:00
736a425208ef526412a961e97e157b44eea050c5