https://github.com/agda/nix-packages

Packages and abstractions to use Nix as a package manager for Agda
https://github.com/agda/nix-packages

Last synced: 10 months ago
JSON representation

Packages and abstractions to use Nix as a package manager for Agda

• Host: GitHub
• URL: https://github.com/agda/nix-packages
• Owner: agda
• License: mit
• Created: 2024-11-26T12:33:56.000Z (over 1 year ago)
• Default Branch: master
• Last Pushed: 2024-11-26T12:41:39.000Z (over 1 year ago)
• Last Synced: 2025-05-12T14:33:14.620Z (about 1 year ago)
• Language: Nix
• Size: 1.95 KB
• Stars: 1
• Watchers: 6
• Forks: 0
• Open Issues: 0
• Metadata Files:
  • Readme: README.md
  • License: LICENSE

Awesome Lists containing this project

README

          
# nix-packages

Packages and abstractions to use Nix as a package manager for Agda