Paketti: minisat+-dbgsym (1.0-4 ja muut) [debports]
Links for minisat+-dbgsym
Debian-palvelut:
Imuroi lähdekoodipaketti :
Ei löytynytYlläpitäjät:
Samankaltaisia paketteja:
Command-line shell for sound-file players
A command-line shell for programs like mpg123 and ogg123, music123 plays a variety of sound files using a mpg123/ogg123-like interface. With all the Recommends installed, music123 plays wav, mp3 and ogg files. By simply changing the config file, music123 can play any sound file you have a player for.
(If you install a recent version of vorbis-tools, music123 will handle Ogg Flac and Ogg Speex files too.)
Muut pakettiin minisat+-dbgsym liittyvät paketit
|
|
|
|
-
- dep: minisat+ (= 1.0-4+b1)
- solver for pseudo-Boolean constraints
Imuroi minisat+-dbgsym
Arkkitehtuuri | Versio | Paketin koko | Koko asennettuna | Tiedostot |
---|---|---|---|---|
riscv64 (epävirallinen siirros) | 1.0-4+b1 | 894.2 kt | 927.0 kt | [tiedostoluettelo] |