git.iko.soy/obelisk
on master help sign in
Add pinned versions of constraints-extras, dependent-sum/map, and universe
ed664d2Ali Abrar
.gitignore+1−3
compare with master
unifiedsplit
@@ -4,12 +4,10 @@
4result
4result
5*.o
5*.o
6*.hi
6*.hi
7−
8TAGS
7TAGS
9tags
8tags
10ctags
9ctags
11dist-newstyle
10dist-newstyle
12cabal.project.local
11cabal.project.local
13.ghc.environment.*
12.ghc.environment.*
14−
15−**/ghcid-output.txt
13+**/ghcid-output.txt
dep/constraints-extras/default.nixnew file+7
@@ -0,0 +1,7 @@
1+# DO NOT HAND-EDIT THIS FILE
2+import ((import <nixpkgs> {}).fetchFromGitHub (
3+ let json = builtins.fromJSON (builtins.readFile ./github.json);
4+ in { inherit (json) owner repo rev sha256;
5+ private = json.private or false;
6+ }
7+))
dep/constraints-extras/github.jsonnew file+7
@@ -0,0 +1,7 @@
1+{
2+ "owner": "obsidiansystems",
3+ "repo": "constraints-extras",
4+ "branch": "develop",
5+ "rev": "30f10c03dd96e50c089f0613f99951805bff7397",
6+ "sha256": "196b8kbcp744gqhh964m54vw4cdg15p6lc7cm2vxbh15cbqdz7ir"
7+}
dep/dependent-map/default.nixnew file+7
@@ -0,0 +1,7 @@
1+# DO NOT HAND-EDIT THIS FILE
2+import ((import <nixpkgs> {}).fetchFromGitHub (
3+ let json = builtins.fromJSON (builtins.readFile ./github.json);
4+ in { inherit (json) owner repo rev sha256;
5+ private = json.private or false;
6+ }
7+))
dep/dependent-map/github.jsonnew file+7
@@ -0,0 +1,7 @@
1+{
2+ "owner": "obsidiansystems",
3+ "repo": "dependent-map",
4+ "branch": "no-tag-classes",
5+ "rev": "a9a438b1fd974891e4ed57cbd43e305cf7c759a9",
6+ "sha256": "1g5zyz8rna57g585xrix1ica33865dw7x1kmxwcdh21pp1mqxzn2"
7+}
dep/dependent-sum/default.nixnew file+7
@@ -0,0 +1,7 @@
1+# DO NOT HAND-EDIT THIS FILE
2+import ((import <nixpkgs> {}).fetchFromGitHub (
3+ let json = builtins.fromJSON (builtins.readFile ./github.json);
4+ in { inherit (json) owner repo rev sha256;
5+ private = json.private or false;
6+ }
7+))
dep/dependent-sum/github.jsonnew file+7
@@ -0,0 +1,7 @@
1+{
2+ "owner": "obsidiansystems",
3+ "repo": "dependent-sum",
4+ "branch": "aa-bump-constraints-extras",
5+ "rev": "69127f57533e7e58c54c2f9ca19b0b45946d6cc7",
6+ "sha256": "112cknyz9dl3xbzx715bkhcy0l5z0v98rf06xf70b0fzsgfw68ws"
7+}
dep/universe/default.nixnew file+7
@@ -0,0 +1,7 @@
1+# DO NOT HAND-EDIT THIS FILE
2+import ((import <nixpkgs> {}).fetchFromGitHub (
3+ let json = builtins.fromJSON (builtins.readFile ./github.json);
4+ in { inherit (json) owner repo rev sha256;
5+ private = json.private or false;
6+ }
7+))
dep/universe/github.jsonnew file+7
@@ -0,0 +1,7 @@
1+{
2+ "owner": "dmwit",
3+ "repo": "universe",
4+ "branch": "master",
5+ "rev": "a0ef0ec6fd0750725a7e63734829b44f54cfcbe2",
6+ "sha256": "10cdjh42k9kzbwdvvl7hv9v1mnlx06swhl8y8zsqjd0rpnabfpm2"
7+}