about summary refs log tree commit diff
path: root/pkgs/applications/science/logic/petrinizer
AgeCommit message (Expand)AuthorFilesLines
2022-12-24petrinizer: mark as broken because sbv no longer buildsDennis Gosnell1-0/+4
2022-10-12pkgs.applications: remove unused argsMarkus S. Wamser1-2/+1
2021-05-06petrinizer: restrict platforms by sbvsternenseemann1-0/+1
2021-05-06petrinizer: fix buildsternenseemann3-58/+4
2021-01-25treewide: remove stdenv where not neededPavol Rusnak3-3/+3
2021-01-16treewide: stdenv.lib -> libBen Siraphob3-7/+7
2019-09-07petrinizer: fix build by pinning the neccessary library versionsMichael Raskin3-2/+58
2019-04-16petrinizer: init at 0.9.1.1Michael Raskin1-0/+25