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 precise (universe)
Version3.3f-1.1
Sektionuniverse/math
Prioritätoptional
Installierte Größe411 Byte
Hängt ab vonlibc6 (>= 2.7), libx11-6, libxaw7, libxt6
Empfohlene Pakete
PaketbetreuerUbuntu Developers
Quelleotter
Paketgröße161038 Byte
Prüfsumme MD50ea62b4efa8b08876cbedd086010a1fc
Prüfsumme SHA10ee62b0485a527f041a69c435b41a87eb7df2a36
Prüfsumme SHA256315f8775f6ba768442f3abe6905aa35556f956810415d502e3ec6190442907b7
Link zum Herunterladenformed_3.3f-1.1_i386.deb
Ausführliche Beschreibung


Impressum
Linux is a registered trademark of Linus Torvalds