Skip to content

Commit

Permalink
Add temporary source package to ghc901 cabal project as well
Browse files Browse the repository at this point in the history
  • Loading branch information
pepeiborra committed Jun 29, 2021
1 parent bd45282 commit 686e7f1
Show file tree
Hide file tree
Showing 2 changed files with 5 additions and 5 deletions.
7 changes: 3 additions & 4 deletions cabal-ghc901.project
Original file line number Diff line number Diff line change
Expand Up @@ -41,7 +41,6 @@ source-repository-package
tag: b6245884ae83e00dd2b5261762549b37390179f8
-- https://github.com/lspitzner/czipwith/pull/2


source-repository-package
type: git
location: https://github.com/jneira/hie-bios/
Expand All @@ -67,11 +66,11 @@ source-repository-package
subdir: dependent-sum-template
-- https://github.com/obsidiansystems/dependent-sum/pull/57

-- https://github.com/wz1000/HieDb/pull/35
source-repository-package
type: git
location: https://github.com/anka-213/HieDb
tag: a3f7521f6c5af1b977040cce09c8f7354f8984eb
-- https://github.com/wz1000/HieDb/pull/31
location: https://github.com/pepeiborra/HieDb
tag: 67ccc0c248fbe2947525756a95e23116c71c3f28

source-repository-package
type: git
Expand Down
3 changes: 2 additions & 1 deletion cabal.project
Original file line number Diff line number Diff line change
Expand Up @@ -34,10 +34,11 @@ source-repository-package
location: https://github.com/hsyl20/ghc-api-compat
tag: 8fee87eac97a538dbe81ff1ab18cff10f2f9fa15

-- https://github.com/wz1000/HieDb/pull/35
source-repository-package
type: git
location: https://github.com/pepeiborra/HieDb
tag: 6eb9e7578bc675ec658a0c945cebe7ae69505d1e
tag: 67ccc0c248fbe2947525756a95e23116c71c3f28


write-ghc-environment-files: never
Expand Down

0 comments on commit 686e7f1

Please sign in to comment.