nixpkgs/pkgs/development/libraries
Peter Simons 8d7fe32a0e maude, tecla, buddy: new packages
Maude is a high-level specification language. Buddy and libtecla are required
to build Maude.

svn path=/nixpkgs/trunk/; revision=12358
2008-07-15 09:58:30 +00:00
..
a52dec * Fixes for a52dec and mpeg2dec to make vlc build on x86_64-linux. 2008-06-25 15:01:04 +00:00
aalib
acl * Updated attr and acl. 2008-05-19 13:39:28 +00:00
adns adns: added convenience default values for 'version' 2008-06-18 22:48:43 +00:00
agg GNU Gnash 0.8.2, Agg 2.5. 2008-03-10 09:48:17 +00:00
apr * Updated Apache-related packages. 2008-02-10 17:39:07 +00:00
apr-util * Updated Apache-related packages. 2008-02-10 17:39:07 +00:00
arts
aspell Add Aspell Esperanto dictionary. 2008-02-14 13:39:03 +00:00
aterm * Merged most of the stdenv-updates branch. Some stuff didn't 2008-02-20 23:02:41 +00:00
attr * Obsolete. 2008-05-19 13:41:40 +00:00
avahi Differentiate between longDescription' and description'. 2008-03-20 14:35:03 +00:00
axis
babl Added babl (pixel image transformation library usesd by gegl) 2008-04-04 15:11:27 +00:00
beecrypt
bluez-libs
boehm-gc Merged with trunk 2008-01-15 00:55:21 +00:00
boost boost: updated to 1.35.0 and added selectVersion dispatcher 2008-06-28 15:22:23 +00:00
buddy maude, tecla, buddy: new packages 2008-07-15 09:58:30 +00:00
cairo * Latest Cairo / GTK. 2008-04-23 10:48:10 +00:00
cairomm cairomm added 2008-02-03 13:18:15 +00:00
cfitsio cfitsio added 2008-01-28 19:46:59 +00:00
chmlib Merged with trunk. 2007-11-16 21:05:15 +00:00
cil
cil-aterm
clanlib
clearsilver
clucene-core Merged with trunk. 2007-11-16 21:05:15 +00:00
coredumper Merged with trunk 2008-01-15 00:55:21 +00:00
cppunit
cracklib Merged with trunk 2008-01-15 00:55:21 +00:00
ctl Nix-expr style review 2008-01-31 10:41:04 +00:00
cyrus-sasl
db4 Merged with trunk 2008-01-15 00:55:21 +00:00
dbus * Revert to DBus 1.0.2; 1.1.20 is broken, it kills the X server when 2008-03-06 13:02:04 +00:00
dbus-glib dbus-glib: propagating glib 2008-02-02 20:42:13 +00:00
dclib
directfb
enchant enchant: using selectVersion 2008-02-18 20:51:07 +00:00
exiv2
expat Merged with trunk 2008-01-15 00:55:21 +00:00
facile Merged with trunk. 2007-11-16 21:05:15 +00:00
fcgi fcgi library added 2008-02-08 10:54:56 +00:00
ffmpeg
ffmpeg_svn_snapshot Ported ffmpeg_svn tarball link; fixes to iptables 2008-02-12 21:47:49 +00:00
fftw Added src to meta for builderDefs-based packages. 2008-03-02 18:49:31 +00:00
fltk merging trunk... 2007-12-08 15:21:03 +00:00
fontconfig * Graphviz updated to 2.20.2. Now built with fontconfig, gd and pango 2008-07-03 14:27:19 +00:00
freealut
freeglut freeglut: gcc-4.2 related patch 2008-01-16 00:06:31 +00:00
freetype * Various updates. 2008-06-12 09:49:40 +00:00
fribidi
gamin gamin added 2008-01-28 19:41:55 +00:00
gd
gdbm Add GDBM, a key/value database library. 2008-04-06 23:18:25 +00:00
gegl gegl added (needs recent glibc) 2008-04-04 20:57:09 +00:00
geos merging trunk... 2007-12-08 15:21:03 +00:00
gettext - 2008-02-22 03:06:12 +00:00
giflib Merged with trunk 2008-01-15 00:55:21 +00:00
glew Nix-expr style review 2008-01-31 10:41:04 +00:00
glib svn path=/nixpkgs/trunk/; revision=11461 2008-04-04 16:58:19 +00:00
glibc-2.5 * Updated various stdenv packages (grep, gawk, tar, cpio, findutils, 2007-11-19 17:39:19 +00:00
glibc-2.7 * Merged the stdenv branch 2008-06-13 11:46:39 +00:00
glibc-2.8 glibcUnstable: added low-priority expression for the latest glibc 2.8 snapshot 2008-07-07 23:11:53 +00:00
gmime
gmm kde shipped with a copy of this lib. They have removed it. I guess we need id nevertheless? 2008-04-21 15:20:49 +00:00
gmp gmp: added flag to enable building the cxx library (enabled by default) 2008-07-15 09:58:11 +00:00
gnet
gnutls GnuTLS 2.4.1. 2008-07-01 07:29:18 +00:00
gpgme added gnupg-1.x compatibility symlinks to gnupg-2.x, removed gnupg2 attr 2008-02-18 20:52:59 +00:00
gsl Nix-expr style review 2008-01-31 10:41:04 +00:00
gssdp add gssdp and gupnp, some Universal Plug and Play thingies 2008-06-18 19:03:58 +00:00
gstreamer - 2008-02-22 03:06:12 +00:00
gtk-libs More mirrors / updates . . . 2008-07-07 17:10:21 +00:00
gtk-sharp-1
gtk-sharp-2
gtkmozembed-sharp
gtksourceview-sharp
gtkspell
gupnp add gssdp and gupnp, some Universal Plug and Play thingies 2008-06-18 19:03:58 +00:00
haskell X11 version 1.4.2, added xmobar a minimalistic status bar written in haskell (integrates fine with xmonad) 2008-04-15 20:03:25 +00:00
icu * Export a symbol that OpenOffice needs. 2008-07-04 05:53:41 +00:00
id3lib
ilbc ilbc and msilbc libraries added 2008-02-10 17:35:03 +00:00
ilmbase merging trunk... 2007-12-08 15:21:03 +00:00
imlib
imlib2
indilib indilib added 2008-01-28 19:47:23 +00:00
iniparser iniparser library added 2008-01-28 19:45:19 +00:00
jasper Added JasPer JPEG 2000 library 2008-01-28 19:41:03 +00:00
java version update 2008-03-27 09:46:03 +00:00
kerberos force a build without X for now. This should be made an option...soon. 2008-03-02 22:12:27 +00:00
lablgtk Added Monotone-Viz, viewer for monotone histories. 2008-06-11 06:12:18 +00:00
lcms
lesstif
lib3ds added freestyle (non photorealistic renderer) and dependencies libQGLViewer, lib3ds 2008-06-08 03:56:32 +00:00
libaal * Reiser4 stuff. 2008-02-10 17:38:36 +00:00
libao Add mpg321, libao and libid3tag; upgrade libmad. 2008-02-11 21:02:38 +00:00
libarchive libarchive: 2.4.12 added 2008-02-18 20:52:40 +00:00
libassuan libassuan added 2008-01-28 19:43:37 +00:00
libavc1394 libavc1394: propagating libraw1394 2008-02-06 19:00:51 +00:00
libcaca Fix the url of libcaca. 2008-06-10 18:15:10 +00:00
libcdaudio
libcddb Add libcddb and GNU libcdio. 2008-03-05 09:10:23 +00:00
libcdio * Put back the longDescription. 2008-04-22 07:57:31 +00:00
libcm
libdaemon
libdbi Added src to meta for builderDefs-based packages. 2008-03-02 18:49:31 +00:00
libdbi-drivers Added src to meta for builderDefs-based packages. 2008-03-02 18:49:31 +00:00
libdrm
libdv libdv: more flags 2008-02-06 19:00:15 +00:00
libdvdcss
libdvdnav
libdvdread
libevent
libexif Removed unused patches (libexif, libgphoto2) 2008-02-02 20:40:39 +00:00
libextractor Added src to meta for builderDefs-based packages. 2008-03-02 18:49:31 +00:00
libffi Add libffi, a foreign function interface library. 2008-04-09 07:40:48 +00:00
libgcrypt Added Shamir Secret Sharing Scheme and bmrsa. Fixed libgcrypt 2008-03-03 12:30:39 +00:00
libgpg-error
libgphoto2 Removed unused patches (libexif, libgphoto2) 2008-02-02 20:40:39 +00:00
libgsf Merged with trunk. 2007-11-16 21:05:15 +00:00
libid3tag Add mpg321, libao and libid3tag; upgrade libmad. 2008-02-11 21:02:38 +00:00
libidn urkud asked to fix a broken meta.. 2007-11-11 17:20:06 +00:00
libiec61883 libiec61883: propagating libraw1394 2008-02-06 19:00:46 +00:00
libixp removed libixp-0.3 (wmiimenu does also build with 0.4) 2008-06-08 21:41:07 +00:00
libixp_for_wmii removed libixp-0.3 (wmiimenu does also build with 0.4) 2008-06-08 21:41:07 +00:00
libjingle * Merged most of the stdenv-updates branch. Some stuff didn't 2008-02-20 23:02:41 +00:00
libjpeg
libjpeg-static
libksba Added libksba 2008-01-28 19:44:20 +00:00
libmad Add mpg321, libao and libid3tag; upgrade libmad. 2008-02-11 21:02:38 +00:00
libmcs * Added Audacious, a fork of beep-media-player (which doesn't seem to 2008-03-03 10:55:20 +00:00
libmicrohttpd add libmicrohttpd 2008-05-11 11:46:48 +00:00
libmowgli * Added Audacious, a fork of beep-media-player (which doesn't seem to 2008-03-03 10:55:20 +00:00
libmpcdec * Added Audacious, a fork of beep-media-player (which doesn't seem to 2008-03-03 10:55:20 +00:00
libmspack
libnotify D-Bus splitted into two packages: dbus.libs and dbus.tools 2008-02-02 20:41:06 +00:00
libnova libnova added 2008-01-28 19:47:12 +00:00
libogg
liboil update liboil to 0.3.13 (and add some (new) missing deps) 2008-03-10 20:13:44 +00:00
liboop Add GNU lsh, a GPL'd implementation of SSH, and `liboop', and event loop library. 2008-02-12 10:51:44 +00:00
libotr
libpcap More mirrors / updates . . . 2008-07-07 17:10:21 +00:00
libpng * Various updates. 2008-06-12 09:49:40 +00:00
libqglviewer added freestyle (non photorealistic renderer) and dependencies libQGLViewer, lib3ds 2008-06-08 03:56:32 +00:00
libraw1394 libraw1394: URL corrected 2008-02-18 20:53:11 +00:00
libsamplerate merging trunk... 2007-12-08 15:21:03 +00:00
libsexy Merged with trunk. 2007-11-16 21:05:15 +00:00
libsigcxx
libsigsegv libsigsegv: shared 2008-02-10 17:41:29 +00:00
libsndfile
libtasn1 * Gnome 2.22.1. 2008-05-20 14:25:09 +00:00
libtheora Merged with trunk 2008-01-15 00:55:21 +00:00
libtiff
libunwind libunwind added 2008-01-28 19:45:30 +00:00
libusb
libvorbis Merged with trunk 2008-01-15 00:55:21 +00:00
libwmf Nix-expr style review 2008-01-31 10:41:04 +00:00
libwpd update to 0.8.14 (warning: triggers OOo rebuild :-P ) 2008-03-03 22:07:25 +00:00
libxcrypt
libxklavier libxklavier added 2008-02-18 20:53:36 +00:00
libxml2 * Merged the stdenv branch 2008-06-13 11:46:39 +00:00
libxslt * Various updates. 2008-06-12 09:49:40 +00:00
libzip Added libzip 2007-11-11 16:19:00 +00:00
lightning Add GNU lightning, a run-time code generation library. 2008-07-01 14:47:49 +00:00
log4cxx log4cxx: +boost 2008-02-18 20:51:56 +00:00
loudmouth loudmouth library added 2008-01-28 19:49:25 +00:00
lzo Added lzo library 2007-11-11 16:17:21 +00:00
martyr
mediastreamer Mediastreamer: compilable 2008-02-10 17:34:49 +00:00
mesa * Mesa 7.0.3. 2008-03-01 17:44:50 +00:00
mpeg2dec * Fixes for a52dec and mpeg2dec to make vlc build on x86_64-linux. 2008-06-25 15:01:04 +00:00
mpfr * GCC 4.3.1. (g++ doesn't work yet though.) 2008-06-26 10:20:33 +00:00
mpich2 Add MPICH2, an implementation of the Message Passing Interface. 2008-02-21 16:17:43 +00:00
msilbc ilbc and msilbc libraries added 2008-02-10 17:35:03 +00:00
ncurses - 2008-02-22 03:06:12 +00:00
ncurses-diet
neon * Added Subversion 1.5.0. Some features probably don't work yet 2008-06-19 15:29:25 +00:00
nss
openal
openalSoft openal-soft: 1.1.93 2008-01-28 19:40:43 +00:00
openbabel
openexr merging trunk... 2007-12-08 15:21:03 +00:00
openexr_ctl Nix-expr style review 2008-01-31 10:41:04 +00:00
openldap
openssl * Merged the stdenv branch 2008-06-13 11:46:39 +00:00
ortp ortp: 0.7.1 added (libjingle may need it) 2008-02-18 20:51:25 +00:00
pangoxsl
pcre * pcre: don't compile with C++ support when doing a dietlibc build. 2007-11-21 19:28:54 +00:00
poppler
popt Merged with trunk 2008-01-15 00:55:21 +00:00
proj.4 Nix-expr style review 2008-01-31 10:41:04 +00:00
pth pth added 2008-01-28 19:43:03 +00:00
pysqlite
qt-3
qt-4 updatet qt4 to 4.4.0 and cleaned up the nix expression a little bit, breaks a lot of stuff depending on qt4 I suppose ;-) 2008-05-10 09:09:56 +00:00
readline readline5: shared, using sha256 2008-02-10 17:42:02 +00:00
redland redland: more dependencies 2008-02-10 17:42:11 +00:00
rte
schroedinger update liboil to 0.3.13 (and add some (new) missing deps) 2008-03-10 20:13:44 +00:00
SDL * SDL 1.2.13. 2008-06-14 20:46:34 +00:00
SDL_image added SDL_net, some minor modifications to SDL_image and SDL_mixer 2008-02-10 17:40:00 +00:00
SDL_mixer added SDL_net, some minor modifications to SDL_image and SDL_mixer 2008-02-10 17:40:00 +00:00
SDL_net added SDL_net, some minor modifications to SDL_image and SDL_mixer 2008-02-10 17:40:00 +00:00
SDL_ttf Nix-expr style review 2008-01-31 10:41:04 +00:00
slang
speex Merged with trunk 2008-01-15 00:55:21 +00:00
sqlite * Sqlite 3.5.8. 2008-06-17 09:39:38 +00:00
stlport
t1lib Merged with trunk 2008-01-15 00:55:21 +00:00
taglib
tapioca-qt telepathy stuff 2008-02-18 20:53:23 +00:00
tecla maude, tecla, buddy: new packages 2008-07-15 09:58:30 +00:00
telepathy-gabble Added some telepathy+tapioca stuff. 2008-01-28 19:49:44 +00:00
telepathy-glib Added some telepathy+tapioca stuff. 2008-01-28 19:49:44 +00:00
telepathy-qt telepathy stuff 2008-02-18 20:53:23 +00:00
tk tk: update to 8.4.18 2008-07-07 11:46:01 +00:00
toolbuslib
unixODBC added unixODBCDrivers expression containing unixODBC Postgres connector driver 2008-06-11 23:03:30 +00:00
unixODBCDrivers unixODBC sqlite support 2008-06-12 15:54:57 +00:00
webkit Added WebKit; made it install webkit-program-GtkLauncher (originally it is just GtkLauncher) - minimalistic http/file-only browser which passes Acid3 2008-06-29 07:02:11 +00:00
wxGTK-2.6
wxGTK-2.8
x264 x264 codec lib added 2008-05-22 00:18:45 +00:00
Xaw3d
xine-lib xine-lib 1.1.12 2008-04-25 21:49:25 +00:00
xlibs-wrapper
zlib
zvbi