Idris
/
PrimeSieve
1
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

Add collie dependency

This commit is contained in:
Nathan McCarty 2023-06-23 03:25:18 -04:00
parent 8d48abed0e
commit 0257c9fde7
Signed by: thatonelutenist
SSH Key Fingerprint: SHA256:hwQEcmak9E6sdU9bXc98RHw/Xd1AhpB5HZT7ZSVJkRM
3 changed files with 25 additions and 12 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
PrimeSieve.ipkg
View File

@ -12,7 +12,8 @@ license = "Parity Public License 7.0.0"
-- langversion -- langversion
-- packages to add to search path -- packages to add to search path
-- depends = depends = contrib
, collie
-- modules to install -- modules to install
modules = PrimeSieve modules = PrimeSieve

14
flake.lock
View File

@ -61,11 +61,11 @@
"rust": "rust" "rust": "rust"
}, },
"locked": { "locked": {
"lastModified": 1686465942, "lastModified": 1687504884,
"narHash": "sha256-+6ake+PQ9zVKrKaz3g8haA/t0woq1XLmbxYtoQwLgd8=", "narHash": "sha256-M7eCdHpEV6WkVL2vPahM0X86eTS+zw72xeCC1LN2/I4=",
"ref": "trunk", "ref": "trunk",
"rev": "b306a4aff0f183268bd11d96ab3043638097f6f0", "rev": "b4d806c37bdd0dc91980e4e4eb0dee5383964cf5",
"revCount": 72, "revCount": 73,
"type": "git", "type": "git",
"url": "https://git.sr.ht/~thatonelutenist/idr2nix" "url": "https://git.sr.ht/~thatonelutenist/idr2nix"
}, },
@ -99,11 +99,11 @@
}, },
"nixpkgs": { "nixpkgs": {
"locked": { "locked": {
"lastModified": 1686398752, "lastModified": 1687488839,
"narHash": "sha256-nGWNQVhSw4VSL+S0D0cbrNR9vs9Bq7rlYR+1K5f5j6w=", "narHash": "sha256-7JDjuyHwUvGJJge9jxfRJkuYyL5G5yipspc4J3HwjGA=",
"owner": "nixos", "owner": "nixos",
"repo": "nixpkgs", "repo": "nixpkgs",
"rev": "a30520bf8eabf8a5c37889d661e67a2dbcaa59e6", "rev": "f9e94676ce6c7531c44d38da61d2669ebec0f603",
"type": "github" "type": "github"
}, },
"original": { "original": {

20
primesieve-sources.json
View File

@ -1,9 +1,21 @@
{ {
"sources": {}, "sources": {
"sorted": [], "collie": {
"source": {
"url": "https://github.com/ohad/collie",
"rev": "46bff04a8d9a1598fec9b19f515541df16dc64ef",
"sha256": "sha256-0GziqzEUDs1tFd5yiu5NECV0nP1aMPe2QxS9oqhmW6I="
},
"ipkg": "collie.ipkg",
"name": "collie"
}
},
"sorted": [
"collie"
],
"idris2": { "idris2": {
"url": "https://github.com/idris-lang/Idris2", "url": "https://github.com/idris-lang/Idris2",
"rev": "5dcf62499df5cb861d153372ef3b4386dba25c98", "rev": "31c17ebec2e64c095076e8425637176db7658492",
"sha256": "sha256-P9fVZNtgu08cvJmanL88W4F2l0PWKbSk8h8SS5JEN/M=" "sha256": "sha256-DYwyjTdJjPDd/H5keb0tfmzR4AGwg/EaZMMQnLfksfY="
} }
} }