hydra-coq 0.17.0

TAR.GZ

BENIGN

Mal-ecule

Size 78.8 KB download

First seen 36 days ago

Analyzed 36 days ago

Ecosystem haskell

Source hackage.haskell.org

Loading file contents…

Loading traits…

SHA-256	5ff87ea7b9275cb1fe2d2af8569adc4bda47ecdf58d6c5e5af14d3eb47cb43bf
Canonical SHA-256	40eca6cdb80b5ebfa83c870625524634a6afd9e1b8cbec68263e238b0064a66b
Filename	hydra-coq-0.17.0.tar.gz
Package	hydra-coq
Version	0.17.0

Source	forager
Feed	hackage.haskell.org
Ecosystem	haskell
Domain	haskell.org
URL	https://hackage.haskell.org/package/hydra-coq-0.17.0/hydra-coq-0.17.0.tar.gz

Not seeing what you expected? Let us know