diff --git a/PrimeSieve.ipkg b/PrimeSieve.ipkg index f372568..49f2d53 100644 --- a/PrimeSieve.ipkg +++ b/PrimeSieve.ipkg @@ -12,7 +12,8 @@ license = "Parity Public License 7.0.0" -- langversion -- packages to add to search path --- depends = +depends = contrib + , collie -- modules to install modules = PrimeSieve diff --git a/flake.lock b/flake.lock index addab08..0093afd 100644 --- a/flake.lock +++ b/flake.lock @@ -61,11 +61,11 @@ "rust": "rust" }, "locked": { - "lastModified": 1686465942, - "narHash": "sha256-+6ake+PQ9zVKrKaz3g8haA/t0woq1XLmbxYtoQwLgd8=", + "lastModified": 1687504884, + "narHash": "sha256-M7eCdHpEV6WkVL2vPahM0X86eTS+zw72xeCC1LN2/I4=", "ref": "trunk", - "rev": "b306a4aff0f183268bd11d96ab3043638097f6f0", - "revCount": 72, + "rev": "b4d806c37bdd0dc91980e4e4eb0dee5383964cf5", + "revCount": 73, "type": "git", "url": "https://git.sr.ht/~thatonelutenist/idr2nix" }, @@ -99,11 +99,11 @@ }, "nixpkgs": { "locked": { - "lastModified": 1686398752, - "narHash": "sha256-nGWNQVhSw4VSL+S0D0cbrNR9vs9Bq7rlYR+1K5f5j6w=", + "lastModified": 1687488839, + "narHash": "sha256-7JDjuyHwUvGJJge9jxfRJkuYyL5G5yipspc4J3HwjGA=", "owner": "nixos", "repo": "nixpkgs", - "rev": "a30520bf8eabf8a5c37889d661e67a2dbcaa59e6", + "rev": "f9e94676ce6c7531c44d38da61d2669ebec0f603", "type": "github" }, "original": { diff --git a/primesieve-sources.json b/primesieve-sources.json index 7769413..eb111d5 100644 --- a/primesieve-sources.json +++ b/primesieve-sources.json @@ -1,9 +1,21 @@ { - "sources": {}, - "sorted": [], + "sources": { + "collie": { + "source": { + "url": "https://github.com/ohad/collie", + "rev": "46bff04a8d9a1598fec9b19f515541df16dc64ef", + "sha256": "sha256-0GziqzEUDs1tFd5yiu5NECV0nP1aMPe2QxS9oqhmW6I=" + }, + "ipkg": "collie.ipkg", + "name": "collie" + } + }, + "sorted": [ + "collie" + ], "idris2": { "url": "https://github.com/idris-lang/Idris2", - "rev": "5dcf62499df5cb861d153372ef3b4386dba25c98", - "sha256": "sha256-P9fVZNtgu08cvJmanL88W4F2l0PWKbSk8h8SS5JEN/M=" + "rev": "31c17ebec2e64c095076e8425637176db7658492", + "sha256": "sha256-DYwyjTdJjPDd/H5keb0tfmzR4AGwg/EaZMMQnLfksfY=" } }