npm-asset/jscoq--software-foundations see on Npm

✔ This package is OK to use!


Last updated: Nov 7, 2024, 5:18:01 AM (3 months ago)
Legend: stable RC beta alpha dev

Version Commit SHA
0.17.1 n/a Get ZIP
0.17.0 n/a Get ZIP
0.16.0 n/a Get ZIP
0.15.1 n/a Get ZIP
0.15.0 n/a Get ZIP
0.14.1 n/a Get ZIP
0.14.0 n/a Get ZIP
0.13.3 n/a Get ZIP
0.13.2 n/a Get ZIP
0.13.0 n/a Get ZIP
0.12.3 n/a Get ZIP
0.12.2-RC1 n/a Get ZIP
0.12.1 n/a Get ZIP
0.12.1-RC1 n/a Get ZIP
0.12.0 n/a Get ZIP
dev-master f92005b8416f59aa380b2cbfad39ef4133100874 Get ZIP or see sources