acl2
... ional Logic) is the successor to nqthm, the Boyer-Moore theorem prover. ACL2 can be used to automatically ...
acl2.darwinports.com : Cached - Similar pages - |
adium
... tion of supported messaging services and then chat with other people using those services. homepage http://www.adiumx.com plat ...
adium.darwinports.com : Cached - Similar pages - |
advancemame
... tors games description unofficial MAME version with advanced video support long_description AdvanceMAME is unofficial MAME versio ...
advancemame.darwinports.com : Cached - Similar pages - |
aegis
... programs. Among other things, it supports geographically distributed development on bot ...
aegis.darwinports.com : Cached - Similar pages - |
afflib
... int' is silly about trailing whitespace in comments ## } ## # ##EOF ...
afflib.darwinports.com : Cached - Similar pages - |
afni
... include/*] ${destroot}${prefix}/include/afni # Install miscellaneous files xinstall -d -m 755 ${destroot}${prefix}/share/afni ...
afni.darwinports.com : Cached - Similar pages - |
aimage
... b port:libewf port:afflib port:openssl port:zlib # ##EOF ...
aimage.darwinports.com : Cached - Similar pages - |
amsn
... er_sites sourceforge http://www.opendarwin.org/~jmpp/miscellaneous/:plugins distname ${name}-${release} distfiles ${distname}${ ...
amsn.darwinports.com : Cached - Similar pages - |
angband
... darwin maintainers nomaintainer description a rogue-like dungeon exploration game (curses-based) long_description Angband is a ...
angband.darwinports.com : Cached - Similar pages - |
anno
... the Islamic calendar is now included. homepage http://people.freenet.de/resurrection/anno.htm master_sites http://peo ...
anno.darwinports.com : Cached - Similar pages - |
antigraingeometry
... rts.org $ PortSystem 1.0 name antigraingeometry version 2.5 revision 2 categories ...
antigraingeometry.darwinports.com : Cached - Similar pages - |
apache-ant
... ild system long_description Ant is a Java based build tool. In theory it is kind of like make without make's wrinkles. Ant us ...
apache-ant.darwinports.com : Cached - Similar pages - |
apr
... any operating systems as possible, including Unices, Win32, BeOS, and OS/2. homepage http://apr.apache.org/ master_sites apac ...
apr.darwinports.com : Cached - Similar pages - |
apr0
... any operating systems as possible, including Unices, Win32, BeOS, and OS/2. This is the old version of APR, the newest ve ...
apr0.darwinports.com : Cached - Similar pages - |
arb
... udes tools for editing and aligning nucleotide and amino acid sequences. Features include routines for d ...
arb.darwinports.com : Cached - Similar pages - |
arch
... ers combine and otherwise manipulate changes made by multiple people or at different times. homepage http://www.gnu.org/ ...
arch.darwinports.com : Cached - Similar pages - |
ardour2
... CXX=${configure.cxx} CPP=${configure.cpp} # Fix gettext bug on Leopard (and later?); see #19886 destroot.env-append VERSION_C ...
ardour2.darwinports.com : Cached - Similar pages - |
AtomicParsley
... ./build pre-build { # fix usage of private type, b0rked in Leopard # -eridius reinplace s|_NSBitmapImageFileType|NSBi ...
AtomicParsley.darwinports.com : Cached - Similar pages - |
AtomicParsley-devel
... n_rev} post-patch { # fix usage of private type, b0rked in Leopard # -eridius reinplace s|_NSBitmapImageFileType|NSBi ...
AtomicParsley-devel.darwinports.com : Cached - Similar pages - |
autoconf-archive
... the Internet - this archive is merely a distribution of other people's efforts. homepage http://www.gnu.org/software/ac-archive ...
autoconf-archive.darwinports.com : Cached - Similar pages - |
avahi
... omputer into a network and instantly be able to view other people who you can chat with, find printers to print to or fi ...
avahi.darwinports.com : Cached - Similar pages - |
awemud
... intainers nomaintainer description MUD (Multi-User Dungeon) game server long_description AweMUD NG is a MUD (Multi-Use ...
awemud.darwinports.com : Cached - Similar pages - |
backward
... maintainers phw description command line tool that reverses lineorder of stdin or any given file(s) long_description ${descripti ...
backward.darwinports.com : Cached - Similar pages - |
balsa
... egories gnome mail platforms darwin homepage http://pawsa.fedorapeople.org/balsa/ use_bzip2 yes master_sites http://balsa.gno ...
balsa.darwinports.com : Cached - Similar pages - |
basiliskii-devel
... LOCAL_FLAGS=-I m4 ./autogen.sh } configure.args --enable-sdl-video --enable-sdl-audio --disable-vosf --without-mon --wi ...
basiliskii-devel.darwinports.com : Cached - Similar pages - |
