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