muro
0.20.6
An explicit affine dependent type theory
Current section
67 Versions
Jump to
Current section
67 Versions
Versions
November 02, 2026
November 02, 2026
November 01, 2026
October 31, 2026
October 31, 2026
October 31, 2026
October 30, 2026
October 30, 2026
October 30, 2026
October 30, 2026
October 29, 2026
October 29, 2026
October 29, 2026
October 29, 2026
October 29, 2026
October 29, 2026
October 28, 2026
October 28, 2026
October 28, 2026
October 28, 2026
October 27, 2026
October 27, 2026
October 26, 2026
October 26, 2026
October 23, 2026
October 22, 2026
October 21, 2026
October 21, 2026
October 21, 2026
October 20, 2026
October 20, 2026
October 20, 2026
October 20, 2026
October 15, 2026
October 15, 2026
October 15, 2026
October 14, 2026
October 14, 2026
October 12, 2026
October 11, 2026
October 11, 2026
October 11, 2026
October 09, 2026
October 09, 2026
October 09, 2026
October 09, 2026
October 09, 2026
October 08, 2026
October 08, 2026
October 08, 2026
October 08, 2026
October 08, 2026
October 06, 2026
October 06, 2026
October 03, 2026
October 02, 2026
October 02, 2026
September 27, 2026
September 26, 2026
September 25, 2026
September 25, 2026
September 24, 2026
September 24, 2026
September 23, 2026
September 22, 2026
September 22, 2026
September 22, 2026
| Version | Publish Date | Note | Actions |
|---|---|---|---|
| 0.20.6 | November 02, 2026 |
|
|
| 0.20.4 | November 02, 2026 |
|
|
| 0.20.3 | November 01, 2026 |
|
|
| 0.20.1 | October 31, 2026 |
|
|
| 0.20.0 | October 31, 2026 |
|
|
| 0.19.7 | October 31, 2026 |
|
|
| 0.19.6 | October 30, 2026 |
|
|
| 0.19.5 | October 30, 2026 |
|
|
| 0.19.4 | October 30, 2026 |
|
|
| 0.19.1 | October 30, 2026 |
|
|
| 0.19.0 | October 29, 2026 |
|
|
| 0.18.4 | October 29, 2026 |
|
|
| 0.18.3 | October 29, 2026 |
|
|
| 0.18.2 | October 29, 2026 |
|
|
| 0.18.1 | October 29, 2026 |
|
|
| 0.18.0 | October 29, 2026 |
|
|
| 0.17.0 | October 28, 2026 |
|
|
| 0.16.78 | October 28, 2026 |
|
|
| 0.16.77 | October 28, 2026 |
|
|
| 0.16.76 | October 28, 2026 |
|
|
| 0.16.75 | October 27, 2026 |
|
|
| 0.16.73 | October 27, 2026 |
|
|
| 0.16.70 | October 26, 2026 |
|
|
| 0.16.69 | October 26, 2026 |
|
|
| 0.16.57 | October 23, 2026 |
|
|
| 0.16.51 | October 22, 2026 |
|
|
| 0.16.39 | October 21, 2026 |
|
|
| 0.16.37 | October 21, 2026 |
|
|
| 0.16.36 | October 21, 2026 |
|
|
| 0.16.32 | October 20, 2026 |
|
|
| 0.16.30 | October 20, 2026 |
|
|
| 0.16.29 | October 20, 2026 |
|
|
| 0.16.28 | October 20, 2026 |
|
|
| 0.16.27 | October 15, 2026 |
|
|
| 0.16.25 | October 15, 2026 |
|
|
| 0.16.24 | October 15, 2026 |
|
|
| 0.16.23 | October 14, 2026 |
|
|
| 0.16.22 | October 14, 2026 |
|
|
| 0.16.19 | October 12, 2026 |
|
|
| 0.16.17 | October 11, 2026 |
|
|
| 0.16.16 | October 11, 2026 |
|
|
| 0.16.15 | October 11, 2026 |
|
|
| 0.16.12 | October 09, 2026 |
|
|
| 0.16.11 | October 09, 2026 |
|
|
| 0.16.10 | October 09, 2026 |
|
|
| 0.16.9 | October 09, 2026 |
|
|
| 0.16.8 | October 09, 2026 |
|
|
| 0.16.7 | October 08, 2026 |
|
|
| 0.16.6 | October 08, 2026 |
|
|
| 0.16.5 | October 08, 2026 |
|
|
| 0.16.4 | October 08, 2026 |
|
|
| 0.16.3 | October 08, 2026 |
|
|
| 0.16.2 | October 06, 2026 |
|
|
| 0.16.1 | October 06, 2026 |
|
|
| 0.15.0 | October 03, 2026 |
|
|
| 0.13.0 | October 02, 2026 |
|
|
| 0.12.0 | October 02, 2026 |
|
|
| 0.11.0 | September 27, 2026 |
|
|
| 0.10.0 | September 26, 2026 |
|
|
| 0.9.0 | September 25, 2026 |
|
|
| 0.8.0 | September 25, 2026 |
|
|
| 0.6.0 | September 24, 2026 |
|
|
| 0.5.0 | September 24, 2026 |
|
|
| 0.3.0 | September 23, 2026 |
|
|
| 0.2.1 | September 22, 2026 |
|
|
| 0.2.0 | September 22, 2026 |
|
|
| 0.1.0 | September 22, 2026 |
|
Checksum
Dependency Config
mix.exs
rebar.config
Gleam
erlang.mk
Package Details
this version
0
yesterday
112
last 7 days
979
all time
2 726
