7 commits

Author	SHA1	Message	Date
Malte	a5542798bc	verifpal: enable tests	2021-08-03 17:27:38 +02:00
Malte-Christian	f73b3543b5	verifpal: 0.13.7 -> 0.26.0 (#132429)	2021-08-02 19:30:29 +02:00
zowoq	cea7cd902e	buildGoModule packages: set doCheck = false	2020-08-10 16:02:30 +10:00
Martin Milata	108273bc1b	verifpal: 0.7.5 -> 0.13.7 ... Switch from buildGoPackage to buildGoModule.	2020-06-02 01:21:55 +02:00
zowoq	b5dc07a4b4	treewide: use $out instead of $bin with buildGoPackage	2020-04-28 20:30:29 +10:00
Jan Tojnar	e59c610d58	verifpal: 0.2.0 → 0.7.5 (#72026)	2019-10-27 13:40:31 +01:00
zimbatm	792bb4f7f6	verifpal: init at 0.2	2019-08-30 21:56:12 +02:00