https://github.com/emptyflash/ivor

The steam powered Idris package manager
https://github.com/emptyflash/ivor

dependency-manager idris package package-manager

Last synced: 2 days ago
JSON representation

The steam powered Idris package manager

• Host: GitHub
• URL: https://github.com/emptyflash/ivor
• Owner: emptyflash
• Created: 2017-07-26T03:34:49.000Z (over 7 years ago)
• Default Branch: master
• Last Pushed: 2018-05-08T17:18:53.000Z (over 6 years ago)
• Last Synced: 2023-04-01T08:35:14.818Z (over 1 year ago)
• Topics: dependency-manager, idris, package, package-manager
• Language: Idris
• Size: 23.4 KB
• Stars: 10
• Watchers: 0
• Forks: 0
• Open Issues: 1

Awesome Lists containing this project