DEBFIND Suche nach Debian-Paketen

Suchplatform für Softwarepakete und Archive Debian-basierter Linux-Distributionen

beta ! Diese website wird noch weiterentwickelt.

Liste aller Kategorien/Sektionen | Suchmaske | Haftungsausschluß

Paketbeschreibung


Paketnameformed
Beschreibungformula editor for first-order logic formulae
Archiv/RepositoryOffizielles Ubuntu Archiv oneiric (universe)
Version3.3f-1
Sektionuniverse/math
Prioritätoptional
Installierte Größe368 Byte
Hängt ab vonlibc6 (>= 2.5-5), libx11-6, libxaw7, libxt6
Empfohlene Pakete
PaketbetreuerUbuntu MOTU Developers
Quelleotter
Paketgröße155154 Byte
Prüfsumme MD560621baa7c36ada30d839e26176cf756
Prüfsumme SHA120f4b855623b15b1f84cb04bf394c7c81c338e41
Prüfsumme SHA256cbd3d14ce3f93bbbe11ba774cfe2f6fc4b0a213daf8db398754594f494a1701d
Link zum Herunterladenformed_3.3f-1_i386.deb
Ausführliche Beschreibung


Impressum
Linux is a registered trademark of Linus Torvalds