Package | Summary | Distribution | Download |
stp-devel-2.3.3+20231214-1.3.x86_64.html | Devel files for stp | OpenSuSE Tumbleweed for x86_64 | stp-devel-2.3.3+20231214-1.3.x86_64.rpm |
stp-devel-2.3.3+20220915-bp156.1.6.x86_64.html | Devel files for stp | OpenSuSE Leap 15.6 for x86_64 | stp-devel-2.3.3+20220915-bp156.1.6.x86_64.rpm |
stp-devel-2.3.3+20220722-bp155.1.7.x86_64.html | Devel files for stp | OpenSuSE Leap 15.5 for x86_64 | stp-devel-2.3.3+20220722-bp155.1.7.x86_64.rpm |
stp-devel-2.3.3+20210104-bp154.1.16.x86_64.html | Devel files for stp | OpenSuSE Leap 15.4 for x86_64 | stp-devel-2.3.3+20210104-bp154.1.16.x86_64.rpm |
stp-devel-2.3.3-31.fc40.x86_64.html | Development files for STP constraint solver/decision procedure | Fedora Rawhide for x86_64 | stp-devel-2.3.3-31.fc40.x86_64.rpm |
stp-devel-2.3.3-31.fc40.x86_64.html | Development files for STP constraint solver/decision procedure | Fedora 40 for x86_64 | stp-devel-2.3.3-31.fc40.x86_64.rpm |
stp-devel-2.3.3-27.fc39.x86_64.html | Development files for STP constraint solver/decision procedure | Fedora 39 for x86_64 | stp-devel-2.3.3-27.fc39.x86_64.rpm |
stp-devel-2.3.1+20171008-bp153.1.17.x86_64.html | Devel files for stp | OpenSuSE Leap 15.3 for x86_64 | stp-devel-2.3.1+20171008-bp153.1.17.x86_64.rpm |
stp-devel-2.3.1+20171008-lp152.3.12.x86_64.html | Devel files for stp | OpenSuSE Leap 15.2 for x86_64 | stp-devel-2.3.1+20171008-lp152.3.12.x86_64.rpm |