agda-pkg
A package manager for Agda
- Latest release
- Jun 01, 2020
- Releases
- 47
- Known CVEs
- 0
- First release
- Sep 30, 2018
- License
- MIT
Repository
Source
- Stars
- —
- Forks
- —
- Open issues
- —
Security score
No OpenSSF Scorecard available for this repository.
Packages from this repo
No other tracked packages from this repository.
Insights
Activity
- Total releases
- 47
- Last 12 months
- 0
- Cadence
- ~daily
- Dependencies
- 12
Releases per month
last 12 monthsRelease mix
- patch 46
47
releases
Releases
| Version | Released | |
|---|---|---|
0.1.51
patch
| ||
0.1.50
patch
| ||
0.1.49
patch
| ||
0.1.48
patch
| ||
0.1.47
patch
| ||
0.1.46
patch
| ||
0.1.45
patch
| ||
0.1.44
patch
| ||
0.1.43
patch
| ||
0.1.42
patch
| ||
0.1.41
patch
| ||
0.1.40
patch
| ||
0.1.39
patch
| ||
0.1.38
patch
| ||
0.1.37
patch
| ||
0.1.36
patch
| ||
0.1.35
patch
| ||
0.1.34
patch
| ||
0.1.33
patch
| ||
0.1.32
patch
|
1–20 of 47