diff options
author | Ludovic Courtès <ludo@gnu.org> | 2013-04-17 18:04:25 +0200 |
---|---|---|
committer | Ludovic Courtès <ludo@gnu.org> | 2013-04-17 18:04:25 +0200 |
commit | f50d2669e3e624365221cc81918ba55fdce94107 (patch) | |
tree | 2ee3f1a7ac7d0a1fa059348c4e4279ffb84ed3db /gnu/packages/gprolog.scm | |
parent | 801486fe46b288338de6ed542c70acade45aac9a (diff) | |
download | patches-f50d2669e3e624365221cc81918ba55fdce94107.tar patches-f50d2669e3e624365221cc81918ba55fdce94107.tar.gz |
gnu: Use synopses from the Womb.
* gnu/packages/algebra.scm,
gnu/packages/aspell.scm,
gnu/packages/autotools.scm,
gnu/packages/base.scm,
gnu/packages/bash.scm,
gnu/packages/bison.scm,
gnu/packages/cdrom.scm,
gnu/packages/cflow.scm,
gnu/packages/compression.scm,
gnu/packages/cpio.scm,
gnu/packages/cppi.scm,
gnu/packages/ddrescue.scm,
gnu/packages/dejagnu.scm,
gnu/packages/ed.scm,
gnu/packages/emacs.scm,
gnu/packages/fdisk.scm,
gnu/packages/gawk.scm,
gnu/packages/gcc.scm,
packages/gcc.scm, b/gnu/packages/gcc.scm,
4b982 100644
s/gcc.scm,
s/gcc.scm,
@@
%standard-phases)))))
`((gcc-libc . ,(assoc-ref inputs "libc"))))
The GNU Compiler Collection")
GNU Compiler Collection")
n
ompiler Collection includes compiler front ends for C, C++,
tran, OpenMP for C/C++/Fortran, Java, and Ada, as well as
gnu/packages/gdb.scm,
gnu/packages/gettext.scm,
gnu/packages/ghostscript.scm,
gnu/packages/glib.scm,
gnu/packages/global.scm,
gnu/packages/gnupg.scm,
gnu/packages/gnutls.scm,
gnu/packages/gperf.scm,
gnu/packages/gprolog.scm,
gnu/packages/groff.scm,
gnu/packages/grub.scm,
gnu/packages/gsasl.scm,
gnu/packages/guile.scm,
gnu/packages/help2man.scm,
gnu/packages/idutils.scm,
gnu/packages/indent.scm,
gnu/packages/less.scm,
gnu/packages/libidn.scm,
gnu/packages/libsigsegv.scm,
gnu/packages/libunistring.scm,
gnu/packages/linux.scm,
gnu/packages/lsh.scm,
gnu/packages/m4.scm,
gnu/packages/mailutils.scm,
gnu/packages/multiprecision.scm,
gnu/packages/nano.scm,
gnu/packages/ncurses.scm,
gnu/packages/nettle.scm,
gnu/packages/oggvorbis.scm,
gnu/packages/parted.scm,
gnu/packages/pth.scm,
gnu/packages/readline.scm,
gnu/packages/recutils.scm,
gnu/packages/scheme.scm,
gnu/packages/screen.scm,
gnu/packages/shishi.scm,
gnu/packages/smalltalk.scm,
gnu/packages/system.scm,
gnu/packages/texinfo.scm,
gnu/packages/time.scm,
gnu/packages/wdiff.scm,
gnu/packages/wget.scm,
gnu/packages/which.scm: Use synopses from the Womb.
Diffstat (limited to 'gnu/packages/gprolog.scm')
-rw-r--r-- | gnu/packages/gprolog.scm | 6 |
1 files changed, 2 insertions, 4 deletions
diff --git a/gnu/packages/gprolog.scm b/gnu/packages/gprolog.scm index ba84d9a836..c362a7bc11 100644 --- a/gnu/packages/gprolog.scm +++ b/gnu/packages/gprolog.scm @@ -45,9 +45,7 @@ (("= /bin/sh") (string-append "= " (which "sh"))))) %standard-phases))) (home-page "https://www.gnu.org/software/gprolog/") - (synopsis - "GNU Prolog, a free Prolog compiler with constraint solving over -finite domains") + (synopsis "Prolog compiler") (description "GNU Prolog is a free Prolog compiler with constraint solving over finite domains developed by Daniel Diaz. @@ -69,4 +67,4 @@ interface, sockets). GNU Prolog also includes an efficient constraint solver over finite domains. This opens contraint logic programming to the user combining the power of constraint programming to the declarativity of logic programming.") - (license (list gpl2+ lgpl3+))))
\ No newline at end of file + (license (list gpl2+ lgpl3+)))) |