2023-03-14 23:48:27 +01:00
|
|
|
# This file was generated by nvfetcher, please do not modify it manually.
|
|
|
|
{ fetchgit, fetchurl, fetchFromGitHub, dockerTools }:
|
|
|
|
{
|
|
|
|
coq-nvim = {
|
|
|
|
pname = "coq-nvim";
|
2023-03-26 15:44:45 +02:00
|
|
|
version = "8847707462e5d89a0043e7846439e180b9dfb04f";
|
2023-03-14 23:48:27 +01:00
|
|
|
src = fetchFromGitHub ({
|
|
|
|
owner = "ms-jpq";
|
|
|
|
repo = "coq_nvim";
|
2023-03-26 15:44:45 +02:00
|
|
|
rev = "8847707462e5d89a0043e7846439e180b9dfb04f";
|
2023-03-16 11:18:54 +01:00
|
|
|
fetchSubmodules = false;
|
2023-03-26 15:44:45 +02:00
|
|
|
sha256 = "sha256-AynBc+TnBBFu+h/ejimgIF+7XyKatv1W81/frzZ4Dto=";
|
2023-03-16 11:18:54 +01:00
|
|
|
});
|
2023-03-26 15:44:45 +02:00
|
|
|
date = "2023-03-26";
|
2023-03-16 11:18:54 +01:00
|
|
|
};
|
2023-03-14 23:48:27 +01:00
|
|
|
pynvim_pp = {
|
|
|
|
pname = "pynvim_pp";
|
2023-03-26 15:44:45 +02:00
|
|
|
version = "28b86c08b5906401fe661b3cb01f212d4229d146";
|
2023-03-14 23:48:27 +01:00
|
|
|
src = fetchFromGitHub ({
|
|
|
|
owner = "ms-jpq";
|
|
|
|
repo = "pynvim_pp";
|
2023-03-26 15:44:45 +02:00
|
|
|
rev = "28b86c08b5906401fe661b3cb01f212d4229d146";
|
2023-03-14 23:48:27 +01:00
|
|
|
fetchSubmodules = false;
|
2023-03-26 15:44:45 +02:00
|
|
|
sha256 = "sha256-DEA+LdWNLzOTAwHSFc44ozlK2kqk+XV2GKyBAqifUJY=";
|
2023-03-14 23:48:27 +01:00
|
|
|
});
|
2023-03-26 15:44:45 +02:00
|
|
|
date = "2023-03-26";
|
2023-03-14 23:48:27 +01:00
|
|
|
};
|
|
|
|
std2 = {
|
|
|
|
pname = "std2";
|
2023-03-26 15:44:45 +02:00
|
|
|
version = "360d30e19f17e38dba8cf05c9d41d0901a168d83";
|
2023-03-14 23:48:27 +01:00
|
|
|
src = fetchFromGitHub ({
|
|
|
|
owner = "ms-jpq";
|
|
|
|
repo = "std2";
|
2023-03-26 15:44:45 +02:00
|
|
|
rev = "360d30e19f17e38dba8cf05c9d41d0901a168d83";
|
2023-03-14 23:48:27 +01:00
|
|
|
fetchSubmodules = false;
|
2023-03-26 15:44:45 +02:00
|
|
|
sha256 = "sha256-3ugG2OieAVOxUylFLAb5EvZNkeEZb3DHYhGgqlMn8qg=";
|
2023-03-14 23:48:27 +01:00
|
|
|
});
|
2023-03-26 15:44:45 +02:00
|
|
|
date = "2023-03-26";
|
2023-03-14 23:48:27 +01:00
|
|
|
};
|
|
|
|
}
|