idr2nix
Generate a Nix flake from an Idris 2 package
- Latest release
- Jun 11, 2023
- Releases
- 3
- Known CVEs
- 0
- First release
- Jun 04, 2023
- License
- unknown
Insights
Activity
- Total releases
- 3
- Last 12 months
- 0
- Cadence
- ~3 days
- Dependencies
- 15
Releases per month
last 12 monthsRelease mix
- patch 2
3
releases
Dependencies
Depends on
0.1.2-
clap
^4.3.0
-
color-eyre
^0.6.2
-
custom_debug
^0.5.1
-
git2
^0.17.2
-
lru
^0.10.0
-
petgraph
^0.6.3
-
regex
^1.8.3
-
semver
^1.0.17
-
serde
^1.0.163
-
serde_json
^1.0.96
1–10 of 15
Used by
Nothing tracked depends on this yet.
Releases
| Version | Released | |
|---|---|---|
0.1.2
patch
|
0.1.2
patch
Dependencies (15)
+ 7 more |
|
0.1.1
patch
|
0.1.1
patch
|
|
0.1.0
initial
|
0.1.0
initial
|