معرفی شرکت ها
universe amd64
تبلیغات ما
مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.
مشاهده بیشتر
تبلیغات ما
مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.
مشاهده بیشتر
بسته
توضیح خلاصه
-
proof assistant for higher-order logic (theories)
-
proof assistant for higher-order logic (gtk interface)
-
enable core files and report crashes to the sysadmin
-
tunnel TCP connections through HTTP proxies
-
cluster engine notification daemon
-
cluster engine quorum device daemon
-
cluster engine quorum device network daemon
-
cluster engine votequorum simulator
-
TURN and STUN server for VoIP
-
Courier authentication daemon
-
Courier authentication library
-
Development libraries for the Courier authentication library
-
LDAP support for the Courier authentication library
-
MySQL support for the Courier authentication library
-
External authentication support for the Courier authentication library
-
PostgreSQL support for the Courier authentication library
-
SQLite 3 support for the Courier authentication library
-
userdb support for the Courier authentication library
-
Courier mail server - base system
-
Courier mail server - Fax<->mail gateway
-
Courier mail server - IMAP server
-
Courier mail server - LDAP support
-
Courier mail server - mailing list manager
-
Courier mail server - ESMTP daemon
-
Courier mail server - PCP server
-
Courier mail server - POP3 server
-
Courier mail server - web-based administration frontend
-
Mail filter interface of Courier-MTA to support greylisting
-
Verilog code coverage analysis tool
-
An easy-to-use tag editor for your music files
-
pbuilder running on cowdancer
-
Copy-on-write directory tree utility
-
Brute-force WPA dictionary attack
-
safe and secure XMPP chat client
-
Finding Code that Counts with Causal Profiling
-
Ab Initio Molecular Dynamics
-
Common Print Dialog Backends - CUPS/IPP Backend
-
Common Print Dialog Backends - Print-to-File Backend
-
Common Print Dialog Backends - Google Cloud Print Backend
-
data pipe forwarding utility for performance monitoring
-
ESO data reduction pipeline for the AMBER instrument
-
ESO data reduction pipeline for the FORS1/2 instruments
-
ESO data reduction pipeline for the GIRAFFE instrument
-
ESO data reduction pipeline for the HAWK-I instrument
-
ESO data reduction pipeline for the MUSE instrument
-
ESO data reduction pipeline for the NaCo instrument
-
ESO data reduction pipeline for the UVES instrument
-
ESO data reduction pipeline for the VIMOS instrument
-
ESO data reduction pipeline for the VISIR instrument
-
ESO data reduction pipeline for the XSHOOTER instrument
-
C-Pluff, a plug-in framework for C - plugin loader
-
Curses based password manager using PGP-encryption
-
Tools to access CP/M file systems
-
GNU C preprocessor
-
GNU C preprocessor
-
GNU C preprocessor
-
GNU C preprocessor
-
GNU C preprocessor
-
GNU C preprocessor
-
GNU C preprocessor
-
GNU C preprocessor
-
GNU C preprocessor
-
GNU C preprocessor
-
GNU C preprocessor
-
GNU C preprocessor
-
GNU C preprocessor
-
GNU C preprocessor
-
GNU C preprocessor
-
GNU C preprocessor
-
GNU C preprocessor
-
GNU C preprocessor
-
GNU C preprocessor
-
GNU C preprocessor
-
GNU C preprocessor
-
GNU C preprocessor
-
GNU C preprocessor
-
GNU C preprocessor
-
GNU C preprocessor
-
GNU C preprocessor
-
GNU C preprocessor
-
GNU C preprocessor
-
GNU C preprocessor
-
GNU C preprocessor
-
GNU C preprocessor
-
GNU C preprocessor
-
GNU C preprocessor
-
GNU C preprocessor
-
GNU C preprocessor
-
GNU C preprocessor
-
GNU C preprocessor
-
GNU C preprocessor
-
GNU C preprocessor
-
GNU C preprocessor
-
GNU C preprocessor
-
GNU C preprocessor
-
GNU C preprocessor
-
GNU C preprocessor
-
GNU C preprocessor
-
GNU C preprocessor
-
GNU C preprocessor