thehedgehog/nix
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity

Update

Browse source 
coq-tp: 61b9c1f2f2e7392c7d7fb7513a144f92c6f81f00 → 5cfab094de4c6690ea295546dd11ccfa5b6d9cab
coq-artifacts: 13ca7bebd34d4c86394cbc12a87f57fe42b8513d → b46f9a8f2254eac9acad333c1eb07293df538985
This commit is contained in:
Mr Hedgehog 2022-03-03 07:53:09 -05:00
parent 63783b9ad8
commit a94c0f9f23
No known key found for this signature in database
GPG key ID: A5F69F6C161FDA7E
2 changed files with 6 additions and 6 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

BIN
_sources/.shake.database
View file

Binary file not shown.

12
_sources/generated.nix
View file

@ -15,26 +15,26 @@
};
coq-artifacts = {
pname = "coq-artifacts";
version = "13ca7bebd34d4c86394cbc12a87f57fe42b8513d";
version = "b46f9a8f2254eac9acad333c1eb07293df538985";
src = fetchgit {
url = "https://github.com/ms-jpq/coq.artifacts";
rev = "13ca7bebd34d4c86394cbc12a87f57fe42b8513d";
rev = "b46f9a8f2254eac9acad333c1eb07293df538985";
fetchSubmodules = false;
deepClone = false;
leaveDotGit = false;
sha256 = "1j5flc4v0as3p1875zl45mx7w0dvlfl616il88i8mwp3p639dcgj";
sha256 = "10sazqglrnndh6h2fwgyvczlnvmf6xf71s10fqpq4fcndrscgzd9";
};
};
coq-tp = {
pname = "coq-tp";
version = "61b9c1f2f2e7392c7d7fb7513a144f92c6f81f00";
version = "5cfab094de4c6690ea295546dd11ccfa5b6d9cab";
src = fetchgit {
url = "https://github.com/ms-jpq/coq.thirdparty";
rev = "61b9c1f2f2e7392c7d7fb7513a144f92c6f81f00";
rev = "5cfab094de4c6690ea295546dd11ccfa5b6d9cab";
fetchSubmodules = false;
deepClone = false;
leaveDotGit = false;
sha256 = "057gc48zixdg8cbic4qdq0cihdqlrlyg5nq1rja723z50hz8b3zp";
sha256 = "1p6inb5yfnhds5rzpwh6391vbcgiqr93p1hy14r7nm2ad3h7qsvn";
};
};
epub-thumbnailer = {