jcgruenhage/void-packages
1
0
Fork 0
Code Issues Pull requests Projects Releases Wiki Activity

verifast: mark broken.

Browse source
This commit is contained in:
Leah Neukirchen 2019-08-09 20:21:54 +02:00 committed by Leah Neukirchen
parent 8722ea8624
commit baf5292267
1 changed files with 2 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
srcpkgs/verifast/template
View file

@ -14,6 +14,8 @@ distfiles="https://github.com/verifast/${pkgname}/archive/v${version}.tar.gz"
checksum=2cadc3d39730b5422373ebc642009d3efb84373a8fc61b1d51877063a1e4191a
nocross=yes
broken="ocaml 4.08"
do_install() {
vbin bin/verifast
vbin bin/vfide