https://github.com/co-dan/guix-packages

Guix channel
https://github.com/co-dan/guix-packages

coq guix

Last synced: 29 days ago
JSON representation

Guix channel

• Host: GitHub
• URL: https://github.com/co-dan/guix-packages
• Owner: co-dan
• Created: 2018-12-14T16:11:37.000Z (about 6 years ago)
• Default Branch: master
• Last Pushed: 2019-05-24T09:46:59.000Z (over 5 years ago)
• Last Synced: 2024-11-06T08:44:19.083Z (3 months ago)
• Topics: coq, guix
• Language: Scheme
• Homepage:
• Size: 24.4 KB
• Stars: 0
• Watchers: 3
• Forks: 0
• Open Issues: 1
• Metadata Files:
  • Readme: README

Awesome Lists containing this project

README

        
Some packages for the Guix package manager.

Mostly Coq stuff.