{"id":18371020,"url":"https://github.com/emptyflash/ivor","last_synced_at":"2026-01-21T11:33:52.238Z","repository":{"id":149693690,"uuid":"98375693","full_name":"emptyflash/ivor","owner":"emptyflash","description":"The steam powered Idris package manager","archived":false,"fork":false,"pushed_at":"2018-05-08T17:18:53.000Z","size":24,"stargazers_count":10,"open_issues_count":1,"forks_count":0,"subscribers_count":0,"default_branch":"master","last_synced_at":"2025-04-10T23:46:06.210Z","etag":null,"topics":["dependency-manager","idris","package","package-manager"],"latest_commit_sha":null,"homepage":null,"language":"Idris","has_issues":true,"has_wiki":null,"has_pages":null,"mirror_url":null,"source_name":null,"license":null,"status":null,"scm":"git","pull_requests_enabled":true,"icon_url":"https://github.com/emptyflash.png","metadata":{"files":{"readme":"README.md","changelog":null,"contributing":null,"funding":null,"license":null,"code_of_conduct":null,"threat_model":null,"audit":null,"citation":null,"codeowners":null,"security":null,"support":null,"governance":null,"roadmap":null,"authors":null,"dei":null,"publiccode":null,"codemeta":null}},"created_at":"2017-07-26T03:34:49.000Z","updated_at":"2020-06-16T17:28:10.000Z","dependencies_parsed_at":null,"dependency_job_id":"86238439-dfd0-40de-9ec3-716af92881fb","html_url":"https://github.com/emptyflash/ivor","commit_stats":null,"previous_names":[],"tags_count":0,"template":false,"template_full_name":null,"purl":"pkg:github/emptyflash/ivor","repository_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/emptyflash%2Fivor","tags_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/emptyflash%2Fivor/tags","releases_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/emptyflash%2Fivor/releases","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/emptyflash%2Fivor/manifests","owner_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners/emptyflash","download_url":"https://codeload.github.com/emptyflash/ivor/tar.gz/refs/heads/master","sbom_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/emptyflash%2Fivor/sbom","scorecard":null,"host":{"name":"GitHub","url":"https://github.com","kind":"github","repositories_count":286080680,"owners_count":28632771,"icon_url":"https://github.com/github.png","version":null,"created_at":"2022-05-30T11:31:42.601Z","updated_at":"2026-01-21T04:47:28.174Z","status":"ssl_error","status_checked_at":"2026-01-21T04:47:22.943Z","response_time":86,"last_error":"SSL_connect returned=1 errno=0 peeraddr=140.82.121.5:443 state=error: unexpected eof while reading","robots_txt_status":"success","robots_txt_updated_at":"2025-07-24T06:49:26.215Z","robots_txt_url":"https://github.com/robots.txt","online":false,"can_crawl_api":true,"host_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub","repositories_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories","repository_names_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repository_names","owners_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners"}},"keywords":["dependency-manager","idris","package","package-manager"],"created_at":"2024-11-05T23:42:44.397Z","updated_at":"2026-01-21T11:33:52.218Z","avatar_url":"https://github.com/emptyflash.png","language":"Idris","readme":"# Ivor\nThe steam powered Idris package manager. Ivor gives you isolated and reproducable\nIdris builds.\n\n## Getting started\n\nIvor currently doesn't ship prebuilt binaries, so you'll have to install the \ndependencies and build it manually:\n\n```\ngit clone https://github.com/ziman/lightyear.git \ncd lightyear \ngit checkout dbcd847ed7a9e62fa0b502b3d89cca43a96f256c \nidris --install lightyear.ipkg \ncd .. \n\ngit clone https://github.com/emptyflash/tomladris.git \ncd tomladris \ngit checkout ec324128ebe8b446e84d8be60b0ed085d07fd36d \nidris --install tomladris.ipkg \ncd .. \n\ngit clone https://github.com/emptyflash/idris-ipkg-parser \ncd idris-ipkg-parser \ngit checkout 35cc2f54d4f3b3710f637d0a8c897bfbb32fe183 \nidris --install ipkgparser.ipkg \ncd ..\n\nidris --build ivor.ipkg\nmv ivor.run /usr/local/ivor\n```\n\nNext you can create an ivor.toml file in the root of your project \nthat looks something like this:\n```\nname = \"ivor\"\nversion = \"1.0.0\"\ndescription = \"The steam powered Idris package manager\"\n\nopts = \"-p effects -p contrib\"\nmain = \"Ivor\"\nexecutable = \"ivor.run\"\nsourceDirectory = \"src\"\n\n[dependencies]\nziman/lightyear = \"dbcd847ed7a9e62fa0b502b3d89cca43a96f256c\"\nemptyflash/tomladris = \"ec324128ebe8b446e84d8be60b0ed085d07fd36d\"\nemptyflash/idris-ipkg-parser = \"35cc2f54d4f3b3710f637d0a8c897bfbb32fe183\"\n```\n\nThe dependencies look like `user/repo = \"git sha\"`. This is likely to \nchange as I figure out how to handle transitive dependencies. Right now\nyou'll have to flatten out your deps and make sure they're in the right \norder. All the other flags match up with Idris' ipkg file.\n\nOnce you have an ivor.toml you can run:\n\n* `ivor install` to install the dependencies,\n* `ivor build` to build your project,\n* `ivor repl` to hop in the repl with all of your dependencies,\n* `ivor test` to run the tests.\n\n\nIf you have any problems please open an issue!\n","funding_links":[],"categories":[],"sub_categories":[],"project_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Femptyflash%2Fivor","html_url":"https://awesome.ecosyste.ms/projects/github.com%2Femptyflash%2Fivor","lists_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Femptyflash%2Fivor/lists"}