- picosat amd64 arm64
Filename | Size | Checksum (SHA256) |
---|---|---|
picosat_960-1.dsc | 1.7 kB | 2553fc12c17af927016eac9b8ae99839ac2223cb4af0e57f7f9dfe4ebf7f1498 |
picosat_960.orig.tar.gz | 63.3 kB | edb3184a04766933b092713d0ae5782e4a3da31498629f8bb2b31234a563e817 |
picosat_960-1.debian.tar.xz | 6.1 kB | ffc2018f7a0c084f1be2eae38d29cd14a6935fbfc4510265256d7d689b2df563 |