{"id":16441771,"url":"https://github.com/ubaldop/vagrant-idris","last_synced_at":"2026-05-15T06:36:41.186Z","repository":{"id":96008093,"uuid":"141707028","full_name":"ubaldop/vagrant-idris","owner":"ubaldop","description":"Vagrant template for Idris","archived":false,"fork":false,"pushed_at":"2018-07-20T13:18:07.000Z","size":9,"stargazers_count":0,"open_issues_count":0,"forks_count":1,"subscribers_count":2,"default_branch":"master","last_synced_at":"2025-01-08T17:09:26.722Z","etag":null,"topics":["haskell-learning","idris","idris-ecosystem","ubuntu1604","vagrant"],"latest_commit_sha":null,"homepage":null,"language":"Shell","has_issues":true,"has_wiki":null,"has_pages":null,"mirror_url":null,"source_name":null,"license":"apache-2.0","status":null,"scm":"git","pull_requests_enabled":true,"icon_url":"https://github.com/ubaldop.png","metadata":{"files":{"readme":"README.md","changelog":null,"contributing":null,"funding":null,"license":"LICENSE","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":"2018-07-20T12:01:51.000Z","updated_at":"2018-07-20T13:18:08.000Z","dependencies_parsed_at":"2023-05-02T23:00:25.833Z","dependency_job_id":null,"html_url":"https://github.com/ubaldop/vagrant-idris","commit_stats":null,"previous_names":[],"tags_count":0,"template":false,"template_full_name":null,"repository_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/ubaldop%2Fvagrant-idris","tags_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/ubaldop%2Fvagrant-idris/tags","releases_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/ubaldop%2Fvagrant-idris/releases","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/ubaldop%2Fvagrant-idris/manifests","owner_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners/ubaldop","download_url":"https://codeload.github.com/ubaldop/vagrant-idris/tar.gz/refs/heads/master","host":{"name":"GitHub","url":"https://github.com","kind":"github","repositories_count":240788595,"owners_count":19857690,"icon_url":"https://github.com/github.png","version":null,"created_at":"2022-05-30T11:31:42.601Z","updated_at":"2022-07-04T15:15:14.044Z","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":["haskell-learning","idris","idris-ecosystem","ubuntu1604","vagrant"],"created_at":"2024-10-11T09:15:21.086Z","updated_at":"2026-05-15T06:36:41.144Z","avatar_url":"https://github.com/ubaldop.png","language":"Shell","funding_links":[],"categories":[],"sub_categories":[],"readme":"# Vagrant template for Idris machine\n\n## Purpose\n\nMinimal Vagrant VM config for Idris development.\n\nIt loads a Virtualbox VM of Ubuntu 16.04 LTS and provisions with the following software:\n\n* `ghc`\n* `cabal`\n* `idris`\n\nAlso, as utility, it provisions a shell with `liquidprompt`.\n\n## Usage\n\nClone this repo in whatever directory you prefer, and from that directory:\n\n```sh\n# Provisions the VM\nvagrant up\n\n# SSH into the VM\nvagrant ssh\n```\n\nOnce you've done with your activities you can:\n\n```sh\n# Shut the VM down\nvagrant halt\n\n# Remove the VM completely.\nvagrant destroy\n```\n\n## Compatibility\n\nThis VM has been tested using Vagrant 2.0.0 and Virtualbox 5.1.28 r117968 from a Windows 10 host.\n\nPlease let me know if it works for you on other platforms!\n\n## Credits\n\nIn scaffolding this VM I took inspiration from `vagrant-haskell-minimal` by `jship`. It is available [here](https://github.com/jship/vagrant-haskell-minimal).\n\n## Disclaimer\n\nThis repo is a quick and dirty configuration, please fill free to improve it according to your needs.  ","project_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Fubaldop%2Fvagrant-idris","html_url":"https://awesome.ecosyste.ms/projects/github.com%2Fubaldop%2Fvagrant-idris","lists_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Fubaldop%2Fvagrant-idris/lists"}