Life as a maintainer after the xz utils backdoor hack 👉 Watch now!

@wacoq/elpi
Release 0.16.0

coq-elpi 1.11.2 for jsCoq

Homepage Repository npm JavaScript Download

License: Other
Install: npm install @wacoq/elpi@0.16.0

Documentation

addon-elpi

Elpi addon plugin for jsCoq

Dependencies: 0
Dependent packages: 2
Dependent repositories: 0
Total releases: 7
Latest release: Sep 22, 2022
First release: Aug 15, 2021
Stars: 0
Forks: 2
Watchers: 3
Contributors: 1
Repository size: 18.6 KB
SourceRank: 7

Source repo 2FA enabled: TEXT!
Package manager 2FA enabled: TEXT!
Is security responsive: TEXT!
Dependencies are managed: TEXT!
Issue-free release available: TEXT!
Succession plan available: TEXT!
Package manager 2FA enabled: TEXT!

Releases

0.16.0: Sep 22, 2022
0.15.1: Jun 18, 2022
0.15.0: Mar 19, 2022
0.14.1: Jan 14, 2022
0.14.0: Dec 3, 2021
0.13.3: Sep 22, 2021
0.13.2: Aug 15, 2021

Contributors

See all contributors

Something wrong with this page? Make a suggestion

Export .ABOUT file for this package

Last synced: 2022-09-22 14:01:40 UTC

Login to resync this project