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