git.iko.soy/obelisk

on master help sign in

.gitignore+1−3

@@ -4,12 +4,10 @@

44result

55*.o

66*.hi

7−

87TAGS

98tags

109ctags

1110dist-newstyle

1211cabal.project.local

1312.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+}