summaryrefslogtreecommitdiff
path: root/devel/deepstate
AgeCommit message (Expand)AuthorFilesLines
2021-10-26archivers: Replace RMD160 checksums with BLAKE2s checksumsnia1-2/+2
2021-10-07devel: Remove SHA1 hashes for distfilesnia1-2/+1
2021-08-24deepstate: register a missing dependencykhorben1-2/+3
2021-08-24deepstate: mark BROKEN until PR pkg/56374 is fixednia1-1/+3
2021-08-01(devel/deepstate) devel/py-smt -> math/py-smt, correct ?mef1-2/+2
2021-07-24deepstate: needs py-smtnia1-1/+2
2021-05-30alpha (obviously) does not have -m32nia1-1/+2
2021-05-30deepstate: approximately x86_64-only, but do our best anywaynia1-1/+13
2020-12-30deepstate: Remove unnecessary restiction to Python 3.7/3.6nia1-2/+2
2020-09-29deepstate: deepstate-libfuzzer also uses Makefile.commonkhorben1-1/+2
2020-09-29deepstate: correctly install the binarieskhorben2-5/+10
2020-09-29deepstate: import version 0.1khorben5-0/+85