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

Update

Browse source 
coq-tp: 0aee7f49cdddf59bb6f003cc122c8e33c9efaf49 → 61b9c1f2f2e7392c7d7fb7513a144f92c6f81f00
coq-artifacts: 86e8c499aa297e54ba3c4bf6f098e3e0d22fc8ec → 13ca7bebd34d4c86394cbc12a87f57fe42b8513d
This commit is contained in:
Mr Hedgehog 2022-03-02 09:14:34 -05:00
parent 5705629be1
commit 63783b9ad8
No known key found for this signature in database
GPG key ID: A5F69F6C161FDA7E
1 changed files with 10 additions and 12 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

22
_sources/generated.nix
View file

@ -1,8 +1,6 @@
# This file was generated by nvfetcher, please do not modify it manually.
{ fetchgit, fetchurl }:
{
fetchgit,
fetchurl,
}: {
calendar-vim = {
pname = "calendar-vim";
version = "a7e73e02c92566bf427b2a1d6a61a8f23542cc21";
@ -17,26 +15,26 @@
};
coq-artifacts = {
pname = "coq-artifacts";
version = "583e44f417e75703d691b9c8c6b8e24e75f894b1";
version = "13ca7bebd34d4c86394cbc12a87f57fe42b8513d";
src = fetchgit {
url = "https://github.com/ms-jpq/coq.artifacts";
rev = "583e44f417e75703d691b9c8c6b8e24e75f894b1";
rev = "13ca7bebd34d4c86394cbc12a87f57fe42b8513d";
fetchSubmodules = false;
deepClone = false;
leaveDotGit = false;
sha256 = "07g308vkhvw7isfpcq0zpy3cbx2fk839balj3xp4psc71gflq3r0";
sha256 = "1j5flc4v0as3p1875zl45mx7w0dvlfl616il88i8mwp3p639dcgj";
};
};
coq-tp = {
pname = "coq-tp";
version = "eac392b384e4a3df37fe74965741a5fc3e4dc303";
version = "61b9c1f2f2e7392c7d7fb7513a144f92c6f81f00";
src = fetchgit {
url = "https://github.com/ms-jpq/coq.thirdparty";
rev = "eac392b384e4a3df37fe74965741a5fc3e4dc303";
rev = "61b9c1f2f2e7392c7d7fb7513a144f92c6f81f00";
fetchSubmodules = false;
deepClone = false;
leaveDotGit = false;
sha256 = "0wynslk48b4mz3fd4jjbidggl2savzifdxfw197cncq3r8gkvqsq";
sha256 = "057gc48zixdg8cbic4qdq0cihdqlrlyg5nq1rja723z50hz8b3zp";
};
};
epub-thumbnailer = {
@ -53,14 +51,14 @@
};
filetype-nvim = {
pname = "filetype-nvim";
version = "3053f00a1138a981fce6d7ebc34e7e26561100dc";
version = "25b5f7e5314d5e7739be726860253c67f7e513bf";
src = fetchgit {
url = "https://github.com/nathom/filetype.nvim";
rev = "3053f00a1138a981fce6d7ebc34e7e26561100dc";
rev = "25b5f7e5314d5e7739be726860253c67f7e513bf";
fetchSubmodules = false;
deepClone = false;
leaveDotGit = false;
sha256 = "1xadcyddl3fbwabri59m1ki9glirzirr16s75vgdnj8x8wy3vnl7";
sha256 = "1qjzmcyq9dl4rqb8yijbqsk4d7vpchhj3268b0vnxbd547fc6cjj";
};
};
fzy-lua-native = {