Browse Source

Synchronize package descriptions with the Womb.

* gnu/packages/algebra.scm,
  gnu/packages/zile.scm: Change value of the 'description' field to that
  of the Womb.
Ludovic Courtès 7 years ago
74 changed files with 416 additions and 844 deletions
  1. +4
  2. +4
  3. +12
  4. +50
  5. +6
  6. +4
  7. +10
  8. +4
  9. +1
  10. +5
  11. +4
  12. +4
  13. +4
  14. +5
  15. +7
  16. +3
  17. +5
  18. +5
  19. +7
  20. +3
  21. +5
  22. +3
  23. +5
  24. +4
  25. +4
  26. +11
  27. +8
  28. +8
  29. +4
  30. +4
  31. +3
  32. +6
  33. +10
  34. +15
  35. +3
  36. +2
  37. +5
  38. +4
  39. +5
  40. +3
  41. +4
  42. +2
  43. +4
  44. +3
  45. +5
  46. +5
  47. +5
  48. +16
  49. +9
  50. +3
  51. +4
  52. +3
  53. +3
  54. +4
  55. +2
  56. +5
  57. +7
  58. +5
  59. +5
  60. +4
  61. +2
  62. +6
  63. +3
  64. +3
  65. +11
  66. +5
  67. +3
  68. +3
  69. +9
  70. +3
  71. +4
  72. +2
  73. +3
  74. +2

+ 4
- 10
gnu/packages/algebra.scm View File

@@ -153,16 +153,10 @@ PARI is also available as a C library to allow for faster computations.")
(home-page "")
(synopsis "Arbitrary precision numeric processing language")
"bc is an arbitrary precision numeric processing language. Syntax
is similar to C, but differs in many substantial areas. It supports
interactive execution of statements. bc is a utility included in the
POSIX P1003.2/D11 draft standard.

Since the POSIX document does not specify how bc must be implemented,
this version does not use the historical method of having bc be a
compiler for the dc calculator. This version has a single executable
that both compiles the language and runs the resulting `byte code'. The
byte code is not the dc language.")
"bc is an arbitrary precision numeric processing language. It includes
an interactive environment for evaluating mathematical statements. Its
syntax is similar to that of C, so basic usage is familiar. It also includes
\"dc\", a reverse-polish calculator.")
(license gpl2+)))

(define-public fftw

+ 4
- 10
gnu/packages/aspell.scm View File

@@ -40,14 +40,8 @@
(home-page "")
(synopsis "Spell checker")
"GNU Aspell is a free spell checker designed to eventually replace
Ispell. It can either be used as a library or as an independent spell
checker. Its main feature is that it does a superior job of suggesting
possible replacements for a misspelled word than just about any other
spell checker out there for the English language. Unlike Ispell, Aspell
can also easily check documents in UTF-8 without having to use a special
dictionary. Aspell will also do its best to respect the current locale
setting. Other advantages over Ispell include support for using
multiple dictionaries at once and intelligently handling personal
dictionaries when more than one Aspell process is open at once.")
"Aspell is a spell-checker which can be used either as a library or as
a standalone program. Notable features of Aspell include its full support of
documents written in the UTF-8 encoding and its ability to use multiple
dictionaries, including personal ones.")
(license lgpl2.1+)))

+ 12
- 16
gnu/packages/autotools.scm View File

@@ -52,13 +52,11 @@
(synopsis "Create source code configuration scripts")
"GNU Autoconf is an extensible package of M4 macros that produce
shell scripts to automatically configure software source code
packages. These scripts can adapt the packages to many kinds of
UNIX-like systems without manual user intervention. Autoconf
creates a configuration script for a package from a template
file that lists the operating system features that the package
can use, in the form of M4 macro calls.")
"Autoconf offers the developer a robust set of M4 macros which expand
into shell code to test the features of Unix-like systems and to adapt
automatically their software package to these systems. The resulting shell
scripts are self-contained and portable, freeing the user from needing to
know anything about Autoconf or M4.")
(license gpl3+))) ; some files are under GPLv2+

(define-public autoconf-wrapper
@@ -202,9 +200,10 @@ exec ~a --no-auto-compile \"$0\" \"$@\"
(home-page "")
(synopsis "Making GNU standards-compliant Makefiles")
"GNU Automake is a tool for automatically generating
`' files compliant with the GNU Coding
Standards. Automake requires the use of Autoconf.")
"Automake the part of the GNU build system for producing standards-
compliant Makefiles. Build requirements are entered in an intuitive format
and then Automake works with Autoconf to produce a robust Makefile,
simplifying the entire process for the developer.")
(license gpl2+))) ; some files are under GPLv3+

(define-public libtool
@@ -258,11 +257,8 @@ Standards. Automake requires the use of Autoconf.")
,(search-patch "libtool-skip-tests.patch"))))
(synopsis "Generic shared library support tools")
"GNU libtool is a generic library support script. Libtool hides the
complexity of using shared libraries behind a consistent, portable interface.

To use libtool, add the new generic library building commands to your
Makefile,, or See the documentation for
"Libtool is a script to help in the creation of shared libraries. By
presenting a consistent, portable interface, it hides the complexity of
building usable shared libraries.")
(license gpl3+)
(home-page "")))

+ 50
- 72
gnu/packages/base.scm View File

@@ -63,7 +63,10 @@
(assoc-ref %build-inputs "gawk")))))
(inputs `(("gawk" ,gawk)))
(synopsis "Hello, GNU world: An example GNU package")
(description "Yeah...")
"GNU Hello prints the message \"Hello, world!\" and then exits. It
serves as an example of standard GNU coding practices. As such, it supports
command-line arguments, multiple languages, and so on.")
(home-page "")
(license gpl3+)))

@@ -81,9 +84,12 @@
(build-system gnu-build-system)
(synopsis "Print lines matching a pattern")
"The grep command searches one or more input files for lines containing a
match to a specified pattern. By default, grep prints the matching
"grep is a tool for finding text inside files. Text is found by
matching a pattern provided by the user in one or many files. The pattern
may be provided as a basic, extended, or Perl-style regular expression, as
well as a list of fixed strings. By default, the matching text is simply
printed to the screen, however the output can be greatly customized to
include, for example, line numbers.")
(license gpl3+)
(home-page "")))

@@ -114,11 +120,10 @@ lines.")
(string-append bash "/bin/bash")))))
"Sed (stream editor) isn't really a true text editor or text processor.
Instead, it is used to filter text, i.e., it takes text input and performs
some operation (or set of operations) on it and outputs the modified text.
Sed is typically used for extracting part of a file using pattern matching or
substituting multiple occurrences of a string within a file.")
"Sed is a non-interactive, text stream editor. It receives a text
input from a file or from standard input and it then applies a series of text
editing commands to the stream and prints its output to standard output. It
is often used for substituting text patterns in a stream.")
(license gpl3+)
(home-page "")))

@@ -139,16 +144,11 @@ substituting multiple occurrences of a string within a file.")
`(#:patches (list (assoc-ref %build-inputs "patch/gets"))))
(synopsis "Managing tar archives")
"The Tar program provides the ability to create tar archives, as well as
various other kinds of manipulation. For example, you can use Tar on
previously created archives to extract files, to store additional files, or
to update or list files which were already stored.

Initially, tar archives were used to store files conveniently on magnetic
tape. The name \"Tar\" comes from this use; it stands for tape archiver.
Despite the utility's name, Tar can direct its output to available devices,
files, or other programs (using pipes), it can even access remote devices or
files (as archives).")
"Tar provides the ability to create tar archives, as well as the
ability to extract, update or list files in an existing archive. It is
useful for combining many files into one larger file, while maintaining
directory structure and file information such as permissions and
creation/modification dates.")
(license gpl3+)
(home-page "")))

@@ -172,9 +172,11 @@ files (as archives).")
(synopsis "Apply differences to originals, with optional backups")
"GNU Patch takes a patch file containing a difference listing produced by
the diff program and applies those differences to one or more original files,
producing patched versions.")
"Patch is a program that applies changes to files based on differences
laid out by the program \"diff\". The changes may be applied to one or more
files depending on the contents of the diff file. It accepts several
different diff formats. It may also be used to revert previously applied
(license gpl3+)
(home-page "")))

@@ -192,31 +194,11 @@ producing patched versions.")
(build-system gnu-build-system)
(synopsis "Comparing and merging files")
"GNU Diffutils is a package of several programs related to finding
differences between files.

Computer users often find occasion to ask how two files differ. Perhaps one
file is a newer version of the other file. Or maybe the two files started out
as identical copies but were changed by different people.

You can use the diff command to show differences between two files, or each
corresponding file in two directories. diff outputs differences between files
line by line in any of several formats, selectable by command line
options. This set of differences is often called a ‘diff’ or ‘patch’. For
files that are identical, diff normally produces no output; for
binary (non-text) files, diff normally reports only that they are different.

You can use the cmp command to show the offsets and line numbers where two
files differ. cmp can also show all the characters that differ between the
two files, side by side.

You can use the diff3 command to show differences among three files. When two
people have made independent changes to a common original, diff3 can report
the differences between the original and the two changed versions, and can
produce a merged file that contains both persons' changes together with
warnings about conflicts.

You can use the sdiff command to merge two files interactively.")
"Diffutils is a package containing several tool for finding the
differences between files. The diff command is used to show how two files
differ, while cmp shows the offsets and line numbers where they differ.
diff3 allows you to compare three files. Finally, sdiff offers an
interactive means to merge two files.")
(license gpl3+)
(home-page "")))

@@ -245,18 +227,12 @@ You can use the sdiff command to merge two files interactively.")
(synopsis "Operating on files matching given criteria")
"The GNU Find Utilities are the basic directory searching utilities of
the GNU operating system. These programs are typically used in conjunction
with other programs to provide modular and powerful directory search and file
locating capabilities to other commands.

The tools supplied with this package are:

* find - search for files in a directory hierarchy;
* locate - list files in databases that match a pattern;
* updatedb - update a file name database;
* xargs - build and execute command lines from standard input.
"Findutils supplies the basic file directory searching utilities of the
GNU system. It consists of two primary searching utilities: \"find\"
recursively searches for files in a directory according to given criteria and
\"locate\" lists files in a database that match a query. Two auxiliary tools
are included: \"updatedb\" updates a file name database and \"xargs\" may be used
to apply commands to file search results.")
(license gpl3+)
(home-page "")))

@@ -297,9 +273,10 @@ The tools supplied with this package are:
(synopsis "Core GNU utilities (file, text, shell)")
"The GNU Core Utilities are the basic file, shell and text manipulation
utilities of the GNU operating system. These are the core utilities which
are expected to exist on every operating system.")
"Coreutils includes all of the basic commandline tools that are
expected in a POSIX system. These provide the basic file, shell and text
manipulation functions of the GNU system. Most of these tools offer extended
functionality beyond that which is outlined in the POSIX standard.")
(license gpl3+)
(home-page "")))

@@ -332,13 +309,12 @@ are expected to exist on every operating system.")
(synopsis "Remake files automatically")
"Make is a tool which controls the generation of executables and other
non-source files of a program from the program's source files.

Make gets its knowledge of how to build your program from a file called the
makefile, which lists each of the non-source files and how to compute it from
other files. When you write a program, you should write a makefile for it, so
that it is possible to use Make to build and install the program.")
"Make is a program that is used to control the production of
executables or other files from their source files. The process is
controlled from a Makefile, in which the developer specifies how each file is
generated from its source. It has powerful dependency resolution and the
ability to determine when files have to be regenerated after their sources
(license gpl3+)
(home-page "")))

@@ -378,9 +354,11 @@ that it is possible to use Make to build and install the program.")

(synopsis "Binary utilities: bfd gas gprof ld")
"The GNU Binutils are a collection of binary tools. The main ones are
`ld' (the GNU linker) and `as' (the GNU assembler). They also include the
BFD (Binary File Descriptor) library, `gprof', `nm', `strip', etc.")
"GNU Binutils is a collection of tools for working with binary files.
Most notable are \"ld\", a linker, and \"as\", an assembler. Several other tools
are included, such as a program to display binary profiling information, a
tool to list the strings in a binary file, and tools for working with
(license gpl3+)
(home-page "")))

+ 6
- 7
gnu/packages/bash.scm View File

@@ -85,13 +85,12 @@
(synopsis "The GNU Bourne-Again SHell")
"Bash is the shell, or command language interpreter, that will appear in
the GNU operating system. Bash is an sh-compatible shell that incorporates
useful features from the Korn shell (ksh) and C shell (csh). It is intended
to conform to the IEEE POSIX P1003.2/ISO 9945.2 Shell and Tools standard. It
offers functional improvements over sh for both programming and interactive
use. In addition, most sh scripts can be run by Bash without
"Bash is the shell, or commandline interpreter, of the GNU system. It
is compatible with the Bourne Shell, but it also integrates useful features
from the Korn Shell and the C Shell and new improvements of its own. It
allows commandline editing, unlimited command history, shell functions and
aliases, and job control while still allowing most sh scripts to be run
without modification.")
(license gpl3+)
(home-page ""))))

+ 4
- 11
gnu/packages/bison.scm View File

@@ -46,15 +46,8 @@
(home-page "")
(synopsis "Parser generator")
"Bison is a general-purpose parser generator that converts an
annotated context-free grammar into an LALR(1) or GLR parser for
that grammar. Once you are proficient with Bison, you can use
it to develop a wide range of language parsers, from those used
in simple desk calculators to complex programming languages.

Bison is upward compatible with Yacc: all properly-written Yacc
grammars ought to work with Bison with no change. Anyone
familiar with Yacc should be able to use Bison with little
trouble. You need to be fluent in C or C++ programming in order
to use Bison.")
"Bison is a general-purpose parser generator. It can build a
deterministic LR or generalized LR parser from an annotated, context- free
grammar. It is versatile enough to have a wide variety of applications, from
parsers for simple tools up to parsers for complex programming languages.")
(license gpl3+)))

+ 10
- 9
gnu/packages/cdrom.scm View File

@@ -85,9 +85,11 @@ caching facility provided by the library.")
(home-page "")
(synopsis "CD Input and Control library")
"GNU libcdio is a library for OS-idependent CD-ROM and CD image access.
It includes a library for working with ISO-9660 filesystems (libiso9660), as
well as utility programs such as an audio CD player and an extractor.")
"The GNU Compact Disc Input and Control Library (libcdio) is a library
for CD-ROM and CD image file access. It allows the developer to add CD
access to an application without having to worry about the OS- and
device-dependent properties of CD-ROM or the specific details of CD image
(license gpl3+)))

(define-public xorriso
@@ -111,12 +113,11 @@ well as utility programs such as an audio CD player and an extractor.")
(home-page "")
(synopsis "Create, manipulate, burn ISO-9660 filesystems")
"GNU xorriso copies file objects from POSIX compliant filesystems into
Rock Ridge enhanced ISO 9660 filesystems and allows session-wise manipulation
of such filesystems. It can load the management information of existing ISO
images and it writes the session results to optical media or to filesystem
objects. Vice versa xorriso is able to copy file objects out of ISO 9660
"xorriso is a tool for copying files to and from ISO 9660 Rock Ridge,
a.k.a Compact Disc File System, filesystems and it allows session- wise
manipulation of them. It features a formatter and burner for CD DVD and BD.
It can operate on existing ISO images or it can create new ones. xorriso can
then be used to copy files directly into or out of ISO files.")
(license gpl3+)))

(define-public cdparanoia

+ 4
- 10
gnu/packages/cflow.scm View File

@@ -38,14 +38,8 @@
(home-page "")
(synopsis "Create a graph of control flow within a program")
"GNU cflow analyzes a collection of C source files and prints a
graph, charting control flow within the program.

GNU cflow is able to produce both direct and inverted flowgraphs
for C sources. Optionally a cross-reference listing can be
generated. Two output formats are implemented: POSIX and GNU

The package also provides Emacs major mode for examining the
produced flowcharts in Emacs.")
"cflow analyzes C source files and produces a graph charting the
control flow of the program. It can output the graph in several styles and
in either the POSIX format or in an extended GNU format. cflow also includes
a major mode for Emacs for examining the flowcharts that it produces.")
(license gpl3+)))

+ 1
- 7
gnu/packages/compression.scm View File

@@ -80,13 +80,7 @@ in compression.")
;; FIXME: The test suite wants `less', and optionally Perl.
'(#:tests? #f))
"gzip (GNU zip) is a popular data compression program written by Jean-loup
Gailly for the GNU project. Mark Adler wrote the decompression part.

We developed this program as a replacement for compress because of the Unisys
and IBM patents covering the LZW algorithm used by compress. These patents
made it impossible for us to use compress, and we needed a replacement. The
superior compression ratio of gzip is just a bonus.")
"GNU Gzip is a data compression and decompression program.")
(license license:gpl3+)
(home-page "")))

+ 5
- 10
gnu/packages/cpio.scm View File

@@ -39,14 +39,9 @@
(home-page "")
(synopsis "Manage cpio and tar file archives")
"GNU Cpio copies files into or out of a cpio or tar archive. The
archive can be another file on the disk, a magnetic tape, or a pipe.

GNU Cpio supports the following archive formats: binary, old ASCII, new
ASCII, crc, HPUX binary, HPUX old ASCII, old tar, and POSIX.1 tar. The
tar format is provided for compatability with the tar program. By
default, cpio creates binary format archives, for compatibility with
older cpio programs. When extracting from archives, cpio automatically
recognizes which kind of archive it is reading and can read archives
created on machines with a different byte-order.")
"Cpio copies files into or out of cpio or tar archives. In fact, many
formats are supported, including legacy formats. The format is determined
automatically by the program and is handled appropriately. Furthermore, the
location of the archive is not important. It can be another file on the
drive, a tape, or data on a pipe.")
(license gpl3+)))

+ 4
- 5
gnu/packages/cppi.scm View File

@@ -37,9 +37,8 @@
(home-page "")
(synopsis "Indent C preprocessor directives to reflect nesting and more")
"GNU cppi indents C preprocessor directives to reflect their nesting and
ensure that there is exactly one space character between each #if, #elif,
#define directive and the following token. The number of spaces between the
`#' and the following directive must correspond to the level of nesting of
that directive.")
"GNU Cppi processes C source code files to properly indent the
preprocessor directives to reflect their nesting. It also performs other
standardizations, such as correcting the number of spaces between directives
and the text following them.")
(license gpl3+)))

+ 4
- 15
gnu/packages/ddrescue.scm View File

@@ -40,19 +40,8 @@
(synopsis "Data recovery utility")
(native-inputs `(("lzip" ,lzip)))
"GNU Ddrescue is a data recovery tool. It copies data from one
file or block device (e.g., hard disk, CD-ROM) to another, trying hard to
rescue data in case of read errors.

The basic operation of Ddrescue is fully automatic. That is, you don't
have to wait for an error, stop the program, read the log, run it in
reverse mode, etc.

If you use the logfile feature of Ddrescue, the data is rescued very
efficiently (only the needed blocks are read). Also, you can interrupt
the rescue at any time and resume it later at the same point.

Automatic merging of backups: If you have two or more damaged copies of
a file and run Ddrescue on all of them, one at a time, with the same
output file, you will probably obtain a complete and error-free file.")
"Ddrescue is a fully automated data recovery tool. It copies data from
one file to another, working to rescue data in case of read errors. The
program also includes a tool for manipulating its log- files, which are used
to recover data more efficiently by only reading the necessary blocks.")
(license gpl3+)))

+ 4
- 8
gnu/packages/dejagnu.scm View File

@@ -77,12 +77,8 @@
(synopsis "GNU software testing framework")
"DejaGnu is a framework for testing other programs. Its purpose
is to provide a single front end for all tests. Think of it as a
custom library of Tcl procedures crafted to support writing a
test harness. A test harness is the testing infrastructure that
is created to support a specific program or tool. Each program
can have multiple testsuites, all supported by a single test
harness. DejaGnu is written in Expect, which in turn uses Tcl --
Tool command language.")
"DejaGnu is a framework for testing software. In effect, it serves as
a front-end for all tests written for a program. Thus, each program can have
multiple test suites, which are then all managed by a single, so-called \"test
(license gpl2+)))

+ 5
- 8
gnu/packages/ed.scm View File

@@ -45,12 +45,9 @@
(home-page "")
(synopsis "Line-oriented text editor")
"GNU ed is a line-oriented text editor. It is used to create,
display, modify and otherwise manipulate text files, both
interactively and via shell scripts. A restricted version of ed,
red, can only edit files in the current directory and cannot
execute shell commands. Ed is the \"standard\" text editor in the
sense that it is the original editor for Unix, and thus widely
available. For most purposes, however, it is superseded by
full-screen editors such as GNU Emacs or GNU Moe.")
"Ed is a line-oriented text editor: rather than offering an overview of
a document, ed performs editing one line at a time. It can be operated both
interactively and via shell scripts. Its method of command input allows
complex tasks to be performed in an automated way, however it has largely
been superceded by full-screen editors like Emacs or Moe.")
(license gpl3+)))

+ 7
- 14
gnu/packages/emacs.scm View File

@@ -89,20 +89,13 @@
(home-page "")
(synopsis "The extensible, customizable, self-documenting text editor")
"GNU Emacs is an extensible, customizable text editor—and more. At its
core is an interpreter for Emacs Lisp, a dialect of the Lisp
programming language with extensions to support text editing.

The features of GNU Emacs include: content-sensitive editing modes,
including syntax coloring, for a wide variety of file types including
plain text, source code, and HTML; complete built-in documentation,
including a tutorial for new users; full Unicode support for nearly all
human languages and their scripts; highly customizable, using Emacs
Lisp code or a graphical interface; a large number of extensions that
add other functionality, including a project planner, mail and news
reader, debugger interface, calendar, and more. Many of these
extensions are distributed with GNU Emacs; others are available
"Emacs is an extensible and highly customizable text editor. It is
based on an Emacs Lisp interpreter which has extensions to support text
editing. Due to its unique structure, it can be configured in an infinite
multitude of ways, which has given rise to a vast array of packages that have
been written for it that do everything from working as an email client to
communicating online via IRC or XMPP. Emacs is fully self-documenting and it
features full Unicode support for nearly every human language.")
(license gpl3+)))

+ 3
- 2
gnu/packages/fdisk.scm View File

@@ -48,6 +48,7 @@
(home-page "")
(synopsis "Low-level disk partitioning and formatting")
"GNU Fdisk provides alternatives to util-linux fdisk and util-linux
cfdisk. It uses GNU Parted.")
"GNU fdisk provides a GNU version of the common disk partitioning tool
fdisk. fdisk is used for the creation and manipulation of disk partition
tables, and it understands a variety of different formats.")
(license gpl3+)))

+ 5
- 9
gnu/packages/freeipmi.scm View File

@@ -41,13 +41,9 @@
(home-page "")
(synopsis "Platform management, including sensor and power monitoring")
"GNU FreeIPMI provides in-band and out-of-band IPMI software based on the
IPMI v1.5/2.0 specification. The IPMI specification defines a set of
interfaces for platform management and is implemented by a number vendors for
system management. The features of IPMI that most users will be interested in
are sensor monitoring, system event monitoring, power control, and
serial-over-LAN (SOL). The FreeIPMI tools and libraries listed below should
provide users with the ability to access and utilize these and many other
features. A number of useful features for large HPC or cluster environments
have also been implemented into FreeIPMI.")
"FreeIPMI is a collection of in-band and out-of-band IPMI software in
accordance with the IPMI v1.5/2.0 specification. These programs provide a
set of interfaces for platform management. Common functionality includes
sensor monitoring, system event monitoring, power control and
(license gpl3+)))

+ 5
- 10
gnu/packages/gawk.scm View File

@@ -65,14 +65,9 @@
(home-page "")
(synopsis "A text scanning and processing language")
"Many computer users need to manipulate text files: extract and then
operate on data from parts of certain lines while discarding the rest, make
changes in various text files wherever certain patterns appear, and so on.
To write a program to do these things in a language such as C or Pascal is a
time-consuming inconvenience that may take many lines of code. The job is
easy with awk, especially the GNU implementation: Gawk.

The awk utility interprets a special-purpose programming language that makes
it possible to handle many data-reformatting jobs with just a few lines of
"Gawk is an implementation of Awk, a specialised programming language
for the easy manipulation of formatted text, such as tables of data. The GNU
implementation of Awk features a number of extensions beyond the traditional
implementations, making writing powerful text manipulation scripts a simple
task compared to writing similar programs in C.")
(license gpl3+)))

+ 7
- 9
gnu/packages/gcal.scm View File

@@ -37,13 +37,11 @@
(home-page "")
(synopsis "Calculating and printing a wide variety of calendars")
"Gcal is a program for calculating and printing calendars. Gcal displays
hybrid and proleptic Julian and Gregorian calendar sheets,respectively for one
month, three months, or a whole year. It also displays eternal holiday lists
for many countries around the globe, and features a very powerful creation of
fixed date lists that can be used for reminding purposes. Gcal can calculate
various astronomical data and times of the Sun and the Moon for pleasure at
any location, precisely enough for most civil purposes. Gcal supports some
other calendar systems, for example, the Chinese and Japanese calendars, the
Hebrew calendar, and the civil Islamic calendar, too.")
"Gcal is a program to calculate and print calendars on the command-
line. Calendars can be printed in 1-month, 3-month or whole-year views. In
addition, eternal holiday lists can be generated for many countries, which
can be complemented by user-made lists of fixed dates to make an agenda.
Gcal can also calculate astronomical data, such as the phases of the moon,
and supports alternative calendar formats: Julian, Gregorian, Islamic,
Chinese and more.")
(license gpl3+)))

+ 3
- 6
gnu/packages/gcc.scm View File

@@ -194,12 +194,9 @@ where the OS part is overloaded to denote a specific ABI---into GCC
(properties `((gcc-libc . ,(assoc-ref inputs "libc"))))
(synopsis "GNU Compiler Collection")
"The GNU Compiler Collection includes compiler front ends for C, C++,
Objective-C, Fortran, OpenMP for C/C++/Fortran, Java, and Ada, as well as
libraries for these languages (libstdc++, libgcj, libgomp,...).

GCC development is a part of the GNU Project, aiming to improve the compiler
used in the GNU system including the GNU/Linux variant.")
"GCC is the GNU Compiler Collection. It provides compiler front-ends
for several languages, including C, C++, Objective-C, Fortran, Java, Ada, and
Go. It also includes standard libraries for these languages.")
(license gpl3+)
(home-page ""))))

+ 5
- 3
gnu/packages/gdb.scm View File

@@ -59,7 +59,9 @@
(home-page "")
(synopsis "The GNU debugger")
"GDB, the GNU Project debugger, allows you to see what is going
on `inside' another program while it executes -- or what another
program was doing at the moment it crashed.")
"GDB is the GNU debugger. With it, you can monitor what a program is
doing while it runs or what it was doing just before a crash. It allows you
to specify the runtime conditions, to define breakpoints, and to change how
the program is running to try to fix bugs. It can be used to debug programs
written in C, C++, Ada, Objective-C, Pascal and more.")
(license gpl3+)))

+ 3
- 15
gnu/packages/gdbm.scm View File

@@ -40,19 +40,7 @@
"Hash library of database functions compatible with traditional dbm")
"GNU dbm (or GDBM, for short) is a library of database functions
that use extensible hashing and work similar to the standard UNIX dbm.
These routines are provided to a programmer needing to create and
manipulate a hashed database.

The basic use of GDBM is to store key/data pairs in a data file. Each
key must be unique and each key is paired with only one data item.

The library provides primitives for storing key/data pairs, searching
and retrieving the data by its key and deleting a key along with its
data. It also support sequential iteration over all key/data pairs in a

For compatibility with programs using old UNIX dbm function, the package
also provides traditional dbm and ndbm interfaces.")
"GDBM is a library for manipulating hashed databases. It is used to
store key/value pairs in a file in a manner similar to the Unix dbm library
and provides interfaces to the traditional file format.")
(license gpl3+)))

+ 5
- 16
gnu/packages/gettext.scm View File

@@ -52,20 +52,9 @@
(home-page "")
(synopsis "Tools and documentation for translation")
"Usually, programs are written and documented in English, and use
English at execution time for interacting with users. Using a common
language is quite handy for communication between developers,
maintainers and users from all countries. On the other hand, most
people are less comfortable with English than with their own native
language, and would rather be using their mother tongue for day to
day's work, as far as possible. Many would simply love seeing their
computer screen showing a lot less of English, and far more of their
own language.

GNU `gettext' is an important step for the GNU Translation Project, as
bit is an asset on which we may build many other steps. This package
offers to programmers, translators, and even users, a well integrated
set of tools and documentation. Specifically, the GNU `gettext'
utilities are a set of tools that provides a framework to help other
GNU packages produce multi-lingual messages.")
"gettext is a set of tools and documentation that provide a framework
for translating the textual output of programs into multiple languages. It
provides translators with the means to create message catalogs, as well as an
Emacs mode to work with them, and a runtime library to load translated
messages from the catalogs.")
(license gpl3))) ; some files are under GPLv2+

+ 4
- 4
gnu/packages/ghostscript.scm View File

@@ -165,10 +165,10 @@ printing, and psresize, for adjusting page sizes.")
(synopsis "PostScript and PDF interpreter")
"GNU Ghostscript is an interpreter for PostScript and Portable Document
Format (PDF) files.
It consists of a PostScript interpreter layer, and a graphics
"Ghostscript is an interpreter for the PostScript language and the PDF
file format. It also includes a C library that implements the graphics
capabilities of the PostScript language. It supports a wide variety of
output file formats and printers.")
(license license:gpl3+)
(home-page "")))

+ 4
- 8
gnu/packages/global.scm View File

@@ -46,12 +46,8 @@
(home-page "")
(synopsis "Cross-environment source code tag system")
"GNU GLOBAL is a source code tagging system that works the same way
across diverse environments (Emacs, vi, less, Bash, web browser, etc).
You can locate specified objects in source files and move there easily.
It is useful for hacking a large project containing many
subdirectories, many #ifdef and many main() functions. It is similar
to ctags or etags but is different from them at the point of
independence of any editor. It runs on a UNIX (POSIX) compatible
operating system like GNU and BSD.")
"GLOBAL is a source code tagging system that functions in the same way
across a wide array of environments, such as different text editors, shells
and web browsers. The resulting tags are useful for quickly moving around in
a large, deeply nested project.")
(license gpl3+)))

+ 11
- 31
gnu/packages/gnunet.scm View File

@@ -80,21 +80,11 @@
("zlib" ,zlib)))
(synopsis "Library to extract meta-data from media files")
"GNU Libextractor is a library used to extract meta data from files.
The goal is to provide developers of file-sharing networks, browsers or
WWW-indexing bots with a universal library to obtain simple keywords and
meta data to match against queries and to show to users instead of only
relying on filenames. libextractor contains the shell command extract that,
similar to the well-known file command, can extract meta data from a file
and print the results to stdout.

Currently, libextractor supports the following formats: HTML, MAN, PS, DVI,
OLE2 (DOC, XLS, PPT), OpenOffice (sxw), StarOffice (sdw), FLAC,
MP3 (ID3v1 and ID3v2), OGG, WAV, S3M (Scream Tracker 3), XM (eXtended Module),
IT (Impulse Tracker), NSF(E) (NES music), SID (C64 music), EXIV2, JPEG, GIF,
Also, various additional MIME types are detected.")
"GNU Libextractor is a library for extracting metadata from files. It
supports a very large number of file formats, including audio files, document
files, and archive files. Each file format is implemented as a plugin, so
new formats can be added easily. The package also containes a command-line
tool to extract metadata from a file and print the results.")
(license license:gpl3+)
(home-page "")))

@@ -118,21 +108,11 @@ Also, various additional MIME types are detected.")
("zlib" ,zlib)))
(synopsis "C library implementing an HTTP 1.1 server")
"GNU libmicrohttpd is a small C library that is supposed to make it
easy to run an HTTP server as part of another application. Key features
that distinguish GNU Libmicrohttpd from other projects are:
C library is fast and small;
API is simple, expressive and fully reentrant;
implementation is HTTP 1.1 compliant;
HTTP server can listen on multiple ports;
four different threading models (select, poll, pthread, thread pool);
supported platforms include GNU/Linux, FreeBSD, OpenBSD, NetBSD, Android,
OS X, W32, Symbian and z/OS;
support for IPv6;
support for SHOUTcast;
support for incremental processing of POST data (optional);
support for basic and digest authentication (optional);
support for SSL3 and TLS (requires libgcrypt and libgnutls, optional);
binary is only about 32k (without TLS/SSL support and other optional features).")
"Libmicrohttpd is a small, embeddable HTTP server implemented as a C
library. It makes it easy to run an HTTP server as part of another
application. The library is fully HTTP 1.1 compliant. It can listen on
multiple ports, supports four different threading models, and supports IPv6.
It also features security features such as basic and digest authentication
and support for SSL3 and TLS.")
(license license:lgpl2.1+)
(home-page "")))

+ 8
- 14
gnu/packages/gnupg.scm View File

@@ -71,11 +71,10 @@ Daemon and possibly more in the future.")
(home-page "")
(synopsis "Cryptographic function library")
"GNU Libgcrypt is a general purpose cryptographic library based on
the code from GnuPG. It provides functions for all
cryptographic building blocks: symmetric ciphers, hash
algorithms, MACs, public key algorithms, large integer
functions, random numbers and a lot of supporting functions.")
"Libgcrypt is a general-purpose cryptographic library. It provides the
standard cryptographic building blocks such as symmetric ciphers, hash
algorithms, public key algorithms, large integer functions and random number
(license lgpl2.0+)))

(define-public libassuan
@@ -165,15 +164,10 @@ specifications are building blocks of S/MIME and TLS.")
(home-page "")
(synopsis "GNU Privacy Guard")
"GnuPG is the GNU project's complete and free implementation of
the OpenPGP standard as defined by RFC4880. GnuPG allows to
encrypt and sign your data and communication, features a
versatile key managment system as well as access modules for all
kind of public key directories. GnuPG, also known as GPG, is a
command line tool with features for easy integration with other
applications. A wealth of frontend applications and libraries
are available. Version 2 of GnuPG also provides support for
"The GNU Privacy Guard is a complete implementation of the OpenPGP
standard. It is used to encrypt and sign data and communication. It
features powerful key management and the ability to access public key
(license gpl3+)))

(define-public gpgme

+ 8
- 14
gnu/packages/gnutls.scm View File

@@ -46,9 +46,10 @@
(home-page "")
(synopsis "ASN.1 library")
"Libtasn1 is the ASN.1 library used by GnuTLS, GNU Shishi and some
other packages. The goal of this implementation is to be highly
portable, and only require an ANSI C89 platform.")
"Libtasn1 is a library implementing the ASN.1 notation. It is used for
transmitting machine-neutral encodings of data objects in computer
networking, allowing for formal validation of data according to some
(license lgpl2.0+)))

(define-public gnutls
@@ -79,15 +80,8 @@ portable, and only require an ANSI C89 platform.")
(home-page "")
(synopsis "Transport layer security library")
"GnuTLS is a project that aims to develop a library which provides
a secure layer, over a reliable transport layer. Currently the GnuTLS
library implements the proposed standards by the IETF's TLS working

Quoting from the TLS protocol specification:

\"The TLS protocol provides communications privacy over the
Internet. The protocol allows client/server applications to communicate
in a way that is designed to prevent eavesdropping, tampering, or
message forgery.\"")
"GnuTLS is a secure communications library implementing the SSL, TLS
and DTLS protocols. It is provided in the form of a C library to the
protocols, as well as to parse and write X.5009, PKCS 12, OpenPGP and other
required structures.")
(license lgpl2.1+)))

+ 4
- 11
gnu/packages/gperf.scm View File

@@ -39,15 +39,8 @@
(home-page "")
(synopsis "Perfect hash function generator")
"GNU gperf is a perfect hash function generator. For a given
list of strings, it produces a hash function and hash table, in
form of C or C++ code, for looking up a value depending on the
input string. The hash function is perfect, which means that
the hash table has no collisions, and the hash table lookup
needs a single string comparison only.

GNU gperf is highly customizable. There are options for
generating C or C++ code, for emitting switch statements or
nested ifs instead of a hash table, and for tuning the algorithm
employed by gperf.")
"gperf is a perfect hash function generator. For a given list of strings,
it produces a hash function and hash table in C or C++ code. That the hash
function is perfect means that no collisions can exist and that look-ups can be
made by single string comparisons.")
(license gpl3+)))

+ 4
- 20
gnu/packages/gprolog.scm View File

@@ -48,24 +48,8 @@
(home-page "")
(synopsis "Prolog compiler")
"GNU Prolog is a free Prolog compiler with constraint solving over
finite domains developed by Daniel Diaz.

GNU Prolog accepts Prolog+constraint programs and produces native
binaries (like gcc does from a C source). The obtained executable is
then stand-alone. The size of this executable can be quite small since
GNU Prolog can avoid to link the code of most unused built-in
predicates. The performances of GNU Prolog are very
encouraging (comparable to commercial systems).

Beside the native-code compilation, GNU Prolog offers a classical
interactive interpreter (top-level) with a debugger.

The Prolog part conforms to the ISO standard for Prolog with many
extensions very useful in practice (e.g., global variables, OS
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.")
"GNU Prolog is a standards-compliant Prolog compiler with constraint
solving over finite domains. It accepts Prolog+ constraint programs and
produces a compiled, native binary which can function in a stand- alone
manner. It also features an interactive interpreter.")
(license (list gpl2+ lgpl3+))))

+ 3
- 2
gnu/packages/groff.scm View File

@@ -47,7 +47,8 @@
("texinfo" ,texinfo)))
(synopsis "Typesetting from plain text mixed with formatting commands")
"GNU Troff (Groff) is a software typesetting package which reads plain
text mixed with formatting commands and produces formatted output.")
"The groff is a typesetting package that reads plain text and produces
formatted output based on formatting commands contained within the text. It
is used particularly often in the formatting of \"man\" documentation pages.")
(license gpl3+)
(home-page "")))

+ 6
- 8
gnu/packages/grub.scm View File

@@ -99,12 +99,10 @@
(home-page "")
(synopsis "GRand unified boot loader")
"GNU GRUB is a Multiboot boot loader. It was derived from GRUB, GRand
Unified Bootloader, which was originally designed and implemented by Erich
Stefan Boleyn.

Briefly, the boot loader is the first software program that runs when a
computer starts. It is responsible for loading and transferring control to
the operating system kernel software (such as the Hurd or the Linux). The
kernel, in turn, initializes the rest of the operating system (e.g., GNU).")
"GRUB is a multiboot bootloader. It is used for initially loading the
kernel of an operating system and then transfering control to it. The kernel
then goes on to load the rest of the operating system. As a multiboot boot
loader, GRUB handles the presence of multiple operating systems installed on
the same computer; upon booting the computer, the user is presented with a
menu to select one of the installed operating systems.")
(license gpl3+)))

+ 10
- 24
gnu/packages/gsasl.scm View File

@@ -63,10 +63,12 @@
(synopsis "Generic Security Service library")
"GNU GSS is an implementation of the Generic Security Service Application
Program Interface (GSS-API). GSS-API is used by network servers to provide
security services, e.g., to authenticate SMTP/IMAP clients against
SMTP/IMAP servers. GSS consists of a library and a manual.")
"The GNU Generic Security Service provides a free implementation of the
GSS-API specification. It provides a generic application programming
interface for programs to access security services. Security services present
a generic, GSS interface, with which the calling application interacts via
this library, freeing the application developer from needing to know about
the underlying security implementation.")
(license gpl3+)
(home-page "")))

@@ -91,25 +93,9 @@ SMTP/IMAP servers. GSS consists of a library and a manual.")
`(("gnutls" ,gnutls)))
(synopsis "Simple Authentication and Security Layer library")
"GNU SASL is an implementation of the Simple Authentication and Security
Layer framework and a few common SASL mechanisms. SASL is used by network
servers (e.g., IMAP, SMTP) to request authentication from clients, and in
clients to authenticate against servers.

GNU SASL consists of a library (libgsasl), a command line utility (gsasl)
to access the library from the shell, and a manual. The library includes
support for the framework (with authentication functions and application
data privacy and integrity functions) and at least partial support for the
SCRAM-SHA-1, SCRAM-SHA-1-PLUS, LOGIN, and NTLM mechanisms.

The library is portable because it does not do network communication by
itself, but rather leaves it up to the calling application. The library is
flexible with regards to the authorization infrastructure used, as it
utilises callbacks into the application to decide whether an user is
authorised or not.

The gsasl package distribution includes the library part as well,
so there is no need to install two packages.")
"GNU SASL is an implementation of the Simple Authentication and
Security Layer framework. On network servers such as IMAP or SMTP servers,
SASL is used to handle client/server authentication. This package contains
both a library and a command-line tool to access the library.")
(license gpl3+)
(home-page "")))

+ 15
- 18
gnu/packages/guile.scm View File

@@ -95,9 +95,11 @@

(synopsis "Scheme implementation intended especially for extensions")
"GNU Guile 1.8 is an interpreter for the Scheme programming language,
packaged as a library that can be embedded into programs to make them
extensible. It supports many SRFIs.")
"Guile is the GNU Ubiquitous Intelligent Language for Extensions, the
official extension language of the GNU system. It is an implementation of
the Scheme language which can be easily embedded in other applications to
provide a convenient means of extending the functionality of the application
without requiring the source code to be rewritten.")
(home-page "")
(license lgpl2.0+)))

@@ -164,12 +166,11 @@ extensible. It supports many SRFIs.")

(synopsis "Scheme implementation intended especially for extensions")
"GNU Guile is an implementation of the Scheme programming language, with
support for many SRFIs, packaged for use in a wide variety of environments.
In addition to implementing the R5RS Scheme standard and a large subset of
R6RS, Guile includes a module system, full access to POSIX system calls,
networking support, multiple threads, dynamic linking, a foreign function
call interface, and powerful string processing.")
"Guile is the GNU Ubiquitous Intelligent Language for Extensions, the
official extension language of the GNU system. It is an implementation of
the Scheme language which can be easily embedded in other applications to
provide a convenient means of extending the functionality of the application
without requiring the source code to be rewritten.")
(home-page "")
(license lgpl3+)))

@@ -264,10 +265,7 @@ many readers as needed).")
(home-page "")
(synopsis "Guile bindings to ncurses")
"GNU Guile-Ncurses is a library for the Guile Scheme interpreter that
provides functions for creating text user interfaces. The text user interface
functionality is built on the ncurses libraries: curses, form, panel, and
"guile-ncurses provides guile bindings to the ncurses library.")
(license lgpl3+)))

(define-public mcron
@@ -288,11 +286,10 @@ menu.")
(home-page "")
(synopsis "Run jobs at scheduled times")
"The GNU package mcron (Mellor's cron) is a 100% compatible replacement
for Vixie cron. It is written in pure Guile, and allows configuration files
to be written in scheme (as well as Vixie's original format) for infinite
flexibility in specifying when jobs should be run. Mcron was written by Dale
"Mcron is a complete replacement for Vixie cron. It is used to run
tasks on a schedule, such as every hour or every Monday. Mcron is written in
Guile, so its configuration can be written in Scheme, however the original
cron format is also supported.")
(license gpl3+)))

(define-public guile-lib

+ 3
- 3
gnu/packages/gv.scm View File

@@ -55,8 +55,8 @@
("zlib" ,zlib)))
(synopsis "PostScript and PDF viewer using Ghostscript as a back-end")
"GNU gv allows to view and navigate through PostScript and PDF documents
on an X display by providing a graphical user interface for the Ghostscript
"GV is a graphical user interface to the Ghostscript interpreter. With
it, one can view and navigate through PostScript and PDF documents in X
(license license:gpl3+)
(home-page "")))

+ 2
- 2
gnu/packages/help2man.scm View File

@@ -47,6 +47,6 @@
(home-page "")
(synopsis "Automatically generate man pages from program --help")
"help2man produces simple manual pages from the ‘--help’ and
‘--version’ output of other commands.")
"help2man is a program that converts the output of standard \"--help\"
and \"--version\" command-line arguments into a manual page automatically.")
(license gpl3+)))

+ 5
- 18
gnu/packages/idutils.scm View File

@@ -43,22 +43,9 @@
(home-page "")
(synopsis "Identifier database utilities")
"An \"ID database\" is a binary file containing a list of file
names, a list of tokens, and a sparse matrix indicating which
tokens appear in which files.

With this database and some tools to query it, many
text-searching tasks become simpler and faster. For example,
you can list all files that reference a particular `\\#include'
file throughout a huge source hierarchy, search for all the
memos containing references to a project, or automatically
invoke an editor on all files containing references to some
function or variable. Anyone with a large software project to
maintain, or a large set of text files to organize, can benefit
from the ID utilities.

Although the name `ID' is short for `identifier', the ID
utilities handle more than just identifiers; they also treat
other kinds of tokens, most notably numeric constants, and the
contents of certain character strings.")
"ID Utils provides tools to create an index if textual tokens used in a
list of file names and to then query that index. Thus, it allows the user
to, for example, find all the uses of a particular function in all files of a
large programming project. In addition to handling textual tokens, it can
also handle numeric constants and the contents of character strings.")
(license gpl3+)))

+ 4
- 4
gnu/packages/indent.scm View File

@@ -37,9 +37,9 @@
(build-system gnu-build-system)
(synopsis "Code reformatter")
"GNU Indent can be used to make code easier to read. It can also convert
from one style of writing C to another. Indent understands a substantial
amount about the syntax of C, but it also attempts to cope with incomplete
and misformed syntax. The GNU style of indenting is the default.")
"Indent is a program that makes source code easier to read by
reformatting it in a consistetn style. It can change the style to one of
several different styles such as GNU, BSD or K&R. It has some flexibility to
deal with incomplete or malformed syntax.")
(license license:gpl3+)
(home-page "")))

+ 5
- 6
gnu/packages/less.scm View File

@@ -40,10 +40,9 @@
(home-page "")
(synopsis "Paginator for terminals")
"GNU less is a program similar to more, but which allows backward
movement in the file as well as forward movement. Also, less does not
have to read the entire input file before starting, so with large input
files it starts up faster than text editors like vi. Less uses
termcap (or terminfo on some systems), so it can run on a variety of
terminals. There is even limited support for hardcopy terminals.")
"GNU less is a pager, a program that allows you to view large amounts
of text in page-sized chunks. Unlike traditional pagers, it allows both
backwards and forwards movement through the document. It also does not have
to read the entire input file before starting, so it starts faster than most
text editors.")
(license gpl3+))) ; some files are under GPLv2+

+ 3
- 10
gnu/packages/libidn.scm View File

@@ -37,15 +37,8 @@
;; FIXME: No Java and C# libraries are currently built.
(synopsis "Internationalized string processing library")
"GNU Libidn is a fully documented implementation of the Stringprep,
Punycode and IDNA specifications. Libidn's purpose is to encode and decode
internationalised domain names.

The library contains a generic Stringprep implementation. Profiles for
Nameprep, iSCSI, SASL, XMPP and Kerberos V5 are included. Punycode and
ASCII Compatible Encoding (ACE) via IDNA are supported. A mechanism to
define Top-Level Domain (TLD) specific validation tables, and to compare
strings against those tables, is included.
Default tables for some TLDs are also included.")
"The GNU IDN Libary is an implementation of the Stringprep, Punycode
and IDNA specifications. These are used to encode and decode
internationalized domain names. It includes native C, C# and Java libraries.")
(license lgpl2.1+)
(home-page "")))

+ 4
- 6
gnu/packages/libsigsegv.scm View File

@@ -52,10 +52,8 @@
"GNU libsigsegv is a library for handling page faults in user mode. A page
fault occurs when a program tries to access to a region of memory that is
currently not available. Catching and handling a page fault is a useful
technique for implementing pageable virtual memory, memory-mapped access to
persistent databases, generational garbage collectors, stack overflow
handlers, distributed shared memory, and more.")
"libsigsegv is a library to handle page faults, which occur when a
program tries to access an unavailable region of memory, in user mode. By
catching and handling page faults, the program can implement pageable virtual
memory, stack overflow handlers, and so on.")
(license gpl2+)))

+ 2
- 15
gnu/packages/libunistring.scm View File

@@ -38,20 +38,7 @@
(build-system gnu-build-system)
(synopsis "C library for manipulating Unicode strings")
"This library provides functions for manipulating Unicode strings and for
manipulating C strings according to the Unicode standard.

GNU libunistring is for you if your application involves non-trivial text
processing, such as upper/lower case conversions, line breaking, operations
on words, or more advanced analysis of text. Text provided by the user can,
in general, contain characters of all kinds of scripts. The text processing
functions provided by this library handle all scripts and all languages.

libunistring is for you if your application already uses the ISO C / POSIX
<ctype.h>, <wctype.h> functions and the text it operates on is provided by
the user and can be in any language.

libunistring is also for you if your application uses Unicode strings as
internal in-memory representation.")
"Libunistring is a library providing functions to manipulate Unicode
strings and for manipulating C strings according to the Unicode standard.")
(home-page "")
(license lgpl3+)))

+ 4
- 4
gnu/packages/lightning.scm View File

@@ -36,9 +36,9 @@
(build-system gnu-build-system)
(synopsis "Library for generating assembly code at runtime")
"GNU lightning is a library that generates assembly language code at
run-time; it is very fast, making it ideal for Just-In-Time compilers, and it
abstracts over the target CPU, as it exposes to the clients a standardized
RISC instruction set inspired by the MIPS and SPARC chips.")
"GNU Lightning is a library that generates assembly language code at
run-time. Thus, it is useful in creating Just-In-Time compilers. It
abstracts over the target CPU by exposing a standardized RISC instruction set
to the clients.")
(home-page "")
(license gpl3+)))

+ 3
- 1
gnu/packages/linux.scm View File

@@ -207,7 +207,9 @@
(alist-delete 'configure %standard-phases)))
#:tests? #f))
(synopsis "100% free redistribution of a cleaned Linux kernel")
(description "Linux-Libre operating system kernel.")
"Linux Libre is a free (as in freedom) variant of the Linux kernel. It
has been modified to remove any non-free binary blobs.")
(license gpl2)
(home-page ""))))

+ 5
- 3
gnu/packages/lsh.scm View File

@@ -119,7 +119,9 @@ basis for almost any application.")
(home-page "")
(synopsis "GNU implementation of the Secure Shell (ssh) protocols")
"lsh is a free implementation (in the GNU sense) of the ssh
version 2 protocol, currently being standardised by the IETF
SECSH working group.")
"lsh is a free implementation of the SSH version 2 protocol. It is
used to create a secure line of communication between two computers,
providing shell access to the server system from the client. It provides
both the server daemon and the client application, as well as tools for
manipulating key files.")
(license gpl2+)))

+ 5
- 13
gnu/packages/m4.scm View File

@@ -59,18 +59,10 @@
,(search-patch "m4-readlink-EINVAL.patch"))))
(synopsis "Macro processor")
"GNU M4 is an implementation of the traditional Unix macro processor. It
is mostly SVR4 compatible although it has some extensions (for example,
handling more than 9 positional parameters to macros). GNU M4 also has
built-in functions for including files, running shell commands, doing
arithmetic, etc.

GNU M4 is a macro processor in the sense that it copies its input to the
output expanding macros as it goes. Macros are either builtin or
user-defined and can take any number of arguments. Besides just doing macro
expansion, m4 has builtin functions for including named files, running UNIX
commands, doing integer arithmetic, manipulating text in various ways,
recursion etc... m4 can be used either as a front-end to a compiler or as a
macro processor in its own right.")
"GNU M4 is an implementation of the M4 macro language, which features
some extensions over other implementations. It is used as a macro processor,
which means it processes text, expanding macros as it encounters them. It
also has some built-in functionns, for example to run shell commands or to do
(license gpl3+)
(home-page "")))

+ 5
- 17
gnu/packages/mail.scm View File

@@ -86,23 +86,11 @@
(home-page "")
(synopsis "Utilities and library for reading and serving mail")
"GNU Mailutils is a rich and powerful protocol-independent mail
framework. It contains a series of useful mail libraries, clients, and
servers. These are the primary mail utilities for the GNU system. The
central library is capable of handling electronic mail in various
mailbox formats and protocols, both local and remote. Specifically,
this project contains a POP3 server, an IMAP4 server, and a Sieve mail
filter. It also provides a POSIX `mailx' client, and a collection of
other handy tools.

The GNU Mailutils libraries supply an ample set of primitives for
handling electronic mail in programs written in C, C++, Python or

The utilities provided by Mailutils include imap4d and pop3d mail
servers, mail reporting utility comsatd, general-purpose mail delivery
agent maidag, mail filtering program sieve, and an implementation of MH
message handling system.")
"Mailutils is a \"swiss army knife of electronic mail handling.\" It is
a suite of programs for managing, viewing and processing e-mail. It contains
both utilities and server daemons and all operate in a protocol-agnostic way.
The underlying libraries are also made available, making adding mail
capabilities to new software simple.")
;; Libraries are under LGPLv3+, and programs under GPLv3+.
(list gpl3+ lgpl3+))))

+ 16
- 36
gnu/packages/maths.scm View File

@@ -44,25 +44,11 @@
(build-system gnu-build-system)
(synopsis "Conversion between thousands of scales")
"GNU Units converts quantities expressed in various systems of
measurement to their equivalents in other systems of measurement. Like
many similar programs, it can handle multiplicative scale changes. It can
also handle nonlinear conversions such as Fahrenheit to Celsius or wire
gauge, and it can convert from and to sums of units, such as converting
between meters and feet plus inches.

Beyond simple unit conversions, GNU Units can be used as a general-purpose
scientific calculator that keeps track of units in its calculations. You
can form arbitrary complex mathematical expressions of dimensions including
sums, products, quotients, powers, and even roots of dimensions. Thus you
can ensure accuracy and dimensional consistency when working with long
expressions that involve many different units that may combine in complex

The units are defined in an external data file. You can use the extensive
data file that comes with this program, or you can provide your own data
file to suit your needs. You can also use your own data file to supplement
the standard data file.")
"Units is a program for converting measured quantities between units of
measure. It can handle scale changes through adaptive usage of standard
scale prefixes (i.e. micro-, kilo-, etc.). It can also handle nonlinear
conversions such as Fahrenheit to Celcius. Its interpreter is powerful
enough to be used effectively as a scientific calculator.")
(license license:gpl3+)
(home-page "")))

@@ -95,14 +81,11 @@ the standard data file.")
(home-page "")
(synopsis "Numerical library for C and C++")
"The GNU Scientific Library (GSL) is a numerical library for C
and C++ programmers. It is free software under the GNU General
Public License.

The library provides a wide range of mathematical routines such
as random number generators, special functions and least-squares
fitting. There are over 1000 functions in total with an
extensive test suite.")
"The GNU Scientific Library is a library for numerical analysis in C
and C++. It includes a wide range of mathematical routines, with over 1000
functions in total. Subject areas covered by the library include:
differential equations, linear algebra, Fast Fourier Transforms and random
(license license:gpl3+)))

(define-public pspp
@@ -134,13 +117,10 @@ extensive test suite.")
(home-page "")
(synopsis "Statistical analysis")
"PSPP is a program for statistical analysis of sampled data. It is a
free replacement for the proprietary program SPSS, and appears very similar
to it.

PSPP can perform descriptive statistics, T-tests, anova, linear and logistic
regression, cluster analysis, factor analysis, non-parametric tests and
more. Its backend is designed to perform its analyses as fast as possible,
regardless of the size of the input data. You can use PSPP with its
graphical interface or the more traditional syntax commands.")
"PSPP is a statistical analysis program. It can perform descriptive
statistics, T-tests, linear regression and non-parametric tests. It features
both a graphical interface as well as command-line input. PSPP is designed to
interoperate with Gnumeric, LibreOffice and OpenOffice. Data can be imported
from spreadsheets, text files and database sources and it can be output in
text, Postscript, PDF or HTML.")
(license license:gpl3+)))

+ 9
- 34
gnu/packages/multiprecision.scm View File

@@ -46,25 +46,11 @@
(synopsis "Multiple-precision arithmetic library")
"GMP is a free library for arbitrary precision arithmetic, operating on
signed integers, rational numbers, and floating point numbers. There is no
practical limit to the precision except the ones implied by the available
memory in the machine GMP runs on. GMP has a rich set of functions, and the
functions have a regular interface.

The main target applications for GMP are cryptography applications and
research, Internet security applications, algebra systems, computational
algebra research, etc.

GMP is carefully designed to be as fast as possible, both for small operands
and for huge operands. The speed is achieved by using fullwords as the basic
arithmetic type, by using fast algorithms, with highly optimised assembly
code for the most common inner loops for a lot of CPUs, and by a general
emphasis on speed.

GMP is faster than any other bignum library. The advantage for GMP increases
with the operand sizes for many operations, since GMP uses asymptotically
faster algorithms.")
"GMP is a library for arbitrary precision arithmetic, operating on
signed integers, rational numbers and floating point numbers. The precision
is only limited by the available memory. The library is highly optimized,
with a design focus on execution speed. It is aimed at use in, for example,
cryptography and computational algebra.")
(license lgpl3+)
(home-page "")))

@@ -83,14 +69,8 @@ faster algorithms.")
(propagated-inputs `(("gmp" ,gmp))) ; <mpfr.h> refers to <gmp.h>
(synopsis "C library for arbitrary precision floating-point arithmetic")
"The GNU MPFR library is a C library for multiple-precision
floating-point computations with correct rounding. MPFR is based on the GMP
multiple-precision library.

The main goal of MPFR is to provide a library for multiple-precision
floating-point computation which is both efficient and has a well-defined
semantics. It copies the good ideas from the ANSI/IEEE-754 standard for
double-precision floating-point arithmetic (53-bit mantissa).")
"MPFR is a C library for performing multiple-precision, floating-point
computations with correct rounding.")
(license lgpl3+)
(home-page "")))

@@ -110,12 +90,7 @@ double-precision floating-point arithmetic (53-bit mantissa).")
("mpfr" ,mpfr)))
(synopsis "C library for arbitrary precision complex arithmetic")
"GNU MPC is a C library for the arithmetic of complex numbers with
arbitrarily high precision and correct rounding of the result. It extends
the principles of the IEEE-754 standard for fixed precision real floating
point numbers to complex numbers, providing well-defined semantics for
every operation. At the same time, speed of operation at high precision
is a major design goal. The library is built upon and follows the same
principles as GNU MPFR.")
"GNU MPC is a C library for performing arithmetic on complex numbers.
It supports arbitrarily high precision and it correctly rounds the results.")
(license lgpl3+)
(home-page "")))

+ 3
- 4
gnu/packages/nano.scm View File

@@ -44,8 +44,7 @@
(home-page "")
(synopsis "Small, user-friendly console text editor")
"GNU nano is designed to be a free replacement for the Pico text
editor, part of the Pine email suite from The University of
Washington. It aims to emulate Pico as closely as possible and perhaps
include extra functionality.")
"nano is a small and simple text editor. In addition to basic
editing, it supports interactive search and replace, go to line and column
number, auto-indentation and more.")
(license gpl3+))) ; some files are under GPLv2+

+ 4
- 9
gnu/packages/ncurses.scm View File

@@ -130,14 +130,9 @@
(self-native-input? #t) ; for `tic'
(synopsis "Terminal emulation (termcap, terminfo) library")
"The Ncurses (new curses) library is a free software emulation of curses
in System V Release 4.0, and more. It uses Terminfo format, supports pads
and color and multiple highlights and forms characters and function-key
mapping, and has all the other SYSV-curses enhancements over BSD Curses.

The ncurses code was developed under GNU/Linux. It has been in use for some
time with OpenBSD as the system curses library, and on FreeBSD and NetBSD as
an external package. It should port easily to any ANSI/POSIX-conforming
UNIX. It has even been ported to OS/2 Warp!")
"Ncurses is a library which provides capabilities to write text to a
terminal in a terminal-independent manner. It supports pads and color as
well as multiple highlights and forms characters. It is typically used to
implement user interfaces for command-line applications.")
(license x11)
(home-page ""))))

+ 3
- 16
gnu/packages/nettle.scm View File

@@ -41,20 +41,7 @@
(home-page "")
(synopsis "C library for low-level crytographic functionality")
"Nettle is a cryptographic library that is designed to fit easily
in more or less any context: In crypto toolkits for object-oriented
languages (C++, Python, Pike, ...), in applications like LSH or GNUPG,
or even in kernel space. In most contexts, you need more than the basic
cryptographic algorithms, you also need some way to keep track of
available algorithms, their properties and variants. You often have
some algorithm selection process, often dictated by a protocol you want
to implement.

And as the requirements of applications differ in subtle and not so
subtle ways, an API that fits one application well can be a pain to use
in a different context. And that is why there are so many different
cryptographic libraries around. \nNettle tries to avoid this problem by
doing one thing, the low-level crypto stuff, and providing a simple but
general interface to it. In particular, Nettle doesn't do algorithm
selection. It doesn't do memory allocation. It doesn't do any I/O.")
"Nettle is a low-level cryptographic library. It is designed to fit in
easily in almost any context. It can be easily included in cryptographic
toolkits for object-oriented languages or in applications themselves.")
(license gpl2+)))

+ 3
- 10
gnu/packages/ocrad.scm View File

@@ -40,14 +40,7 @@
(home-page "")
(synopsis "Optical character recognition based on feature extraction")
"GNU Ocrad is an OCR (Optical Character Recognition) program based on a
feature extraction method. It reads images in pbm (bitmap), pgm
(greyscale) or ppm (color) formats and produces text in byte (8-bit)
or UTF-8 formats.

Also includes a layout analyser able to separate the columns or blocks of text
normally found on printed pages.

Ocrad can be used as a stand-alone console application, or as a backend to
other programs.")
"Ocrad is an optical character recognition program based on a feature
extraction method. It can read images in PBM, PGM or PPM formats and it
produces text in 8-bit or UTF-8 formats.")
(license gpl3+)))

+ 4
- 4
gnu/packages/oggvorbis.scm View File

@@ -105,10 +105,10 @@ polyphonic) audio and music at fixed and variable bitrates from 16 to
(home-page "")
(synopsis "Library for patent-free audio compression format")
"GNU Speex is a patent-free voice codec. It is designed to
compress voice at bitrates in the 2--45 kbps range. Possible
applications include VoIP, internet audio streaming, archiving of speech
data (e.g., voice mail), and audio books.")
"Speex is a patent-free audio compression codec specially designed for
speech. It is well-adapted to internet applications, such as VoIP. It
features compression of different bands in the same bitstream, intensity
stereo encoding, and voice activity detection.")
;; 'src/getopt.c' is under LGPLv2+
(license (license:bsd-style "file://COPYING"
"See COPYING in the distribution."))))

+ 2
- 7
gnu/packages/parted.scm View File

@@ -60,11 +60,6 @@
(home-page "")
(synopsis "Disk partition editor")
"GNU Parted is an industrial-strength package for creating, destroying,
resizing, checking and copying partitions, and the file systems on them. This
is useful for creating space for new operating systems, reorganising disk
usage, copying data on hard disks and disk imaging.

It contains a library, libparted, and a command-line frontend, parted, which
also serves as a sample implementation and script backend.")
"Parted is a tool for creating and manipulating disk partition tables.
It consists of a library and a command-line tool for performing these tasks.")
(license gpl3+)))

+ 5
- 11
gnu/packages/plotutils.scm View File

@@ -46,15 +46,9 @@
(synopsis "Plotting utilities and library")
"The GNU plotutils package contains software for both programmers and
technical users. Its centerpiece is libplot, a powerful C/C++ function
library for exporting 2-D vector graphics in many file formats, both vector
and raster. It can also do vector graphics animations.

libplot is device-independent in the sense that its API (application
programming interface) does not depend on the type of graphics file to be

Besides libplot, the package contains command-line programs for plotting
scientific data. Many of them use libplot to export graphics.")
"Plotutils is a collection of utilities for plotting and working with
2D graphics. It includes a library, libplot, for C and C++ for exporting 2D
vector graphics in many file formats. It also has support for 2D vector
graphics animations. The package also contains command-line programs for
plotting scientific data.")
(license gpl2+)))

+ 7
- 19
gnu/packages/pth.scm View File

@@ -39,23 +39,11 @@
(home-page "")
(synopsis "Portable thread library")
"Pth is a very portable POSIX/ANSI-C based library for Unix
platforms which provides non-preemptive priority-based scheduling for
multiple threads of execution (aka ``multithreading'') inside
event-driven applications. All threads run in the same address space of
the server application, but each thread has it's own individual
program-counter, run-time stack, signal mask and errno variable.

The thread scheduling itself is done in a cooperative way, i.e., the
threads are managed by a priority- and event-based non-preemptive
scheduler. The intention is that this way one can achieve better
portability and run-time performance than with preemptive
scheduling. The event facility allows threads to wait until various
types of events occur, including pending I/O on file descriptors,
asynchronous signals, elapsed timers, pending I/O on message ports,
thread and process termination, and even customized callback functions.

Additionally Pth provides an optional emulation API for POSIX.1c
threads (\"Pthreads\") which can be used for backward compatibility to
existing multithreaded applications.")
"Pth is a portable library providing non-preemptive, priority-based
scheduling for multiple execution threads. Each thread has its own
program-counter, run-time stack, signal mask and errno variable. Threads are
scheduled in a cooperative way, rather than in the standard preemptive way,
such that they are managed according to priority and events. However, Pth
also features emulation of POSIX.1c threads (\"Pthreads\") for backwards
(license lgpl2.1+)))

+ 5
- 10
gnu/packages/readline.scm View File

@@ -64,15 +64,10 @@
(synopsis "Edit command lines while typing, with history support")
"The GNU Readline library provides a set of functions for use by
applications that allow users to edit command lines as they are typed in.
Both Emacs and vi editing modes are available. The Readline library includes
additional functions to maintain a list of previously-entered command lines,
to recall and perhaps reedit those lines, and perform csh-like history
expansion on previous commands.

The history facilites are also placed into a separate library, the History
library, as part of the build process. The History library may be used
without Readline in applications which desire its capabilities.")
"Readline is a libary that allows users to edit command lines as they
are typed in. It can maintain a searchable history of previously entered
commands, letting you easily recall, edit and re-enter past commands. It
features both Emacs-like and vi-like keybindings, making its usage
comfortable for anyone.")
(license gpl3+)
(home-page ""))))

+ 5
- 3
gnu/packages/recutils.scm View File

@@ -47,8 +47,10 @@
("bc" ,bc)))
(synopsis "Manipulate plain text files as databases")
"GNU recutils is a set of tools and libraries to access human-editable,
text-based databases called recfiles. The data is stored as a sequence of
records, each record containing an arbitrary number of named fields.")
"Recutils is a set of tools and libraries for creating and
manipulating text-based, human-editable databases. Despite being text-based,
databases created with Recutils carry all of the expected features such as
unique fields, primary keys, time stamps and more. Many different field types
are supported, as is encryption.")
(license gpl3+)
(home-page "")))

+ 4
- 9
gnu/packages/rush.scm View File

@@ -41,13 +41,8 @@
(home-page "")
(synopsis "Restricted user (login) shell")
"GNU Rush is a Restricted User Shell, designed for sites providing
limited remote access to their resources, such as svn or git repositories,
scp, or the like. Using a sophisticated configuration file, Rush gives you
complete control over the command lines that users execute, as well as over
the usage of system resources, such as virtual memory, CPU time, etc.

In particular, it allows remote programs to be run in a chrooted environment,
which is important with such programs as sftp-server or scp, that lack this
"Rush is a restricted user shell, for systems on which users are to be
provided with only limited functionality or resources. Administrators set
user rights via a configuration file which can be used to limit, for example,
the commands that can be executed, CPU time, or virtual memory usage.")
(license gpl3+)))

+ 2
- 4
gnu/packages/scheme.scm View File

@@ -109,10 +109,8 @@
(synopsis "Scheme implementation with integrated editor and debugger")
"MIT/GNU Scheme is an implementation of the Scheme programming
language, providing an interpreter, compiler, source-code debugger,
integrated Emacs-like editor, and a large runtime library. MIT/GNU
Scheme is best suited to programming large applications with a rapid
development cycle.")
language. It provides an interpreter, a compiler and a debugger. It also
features an integrated Emacs-like editor and a large runtime library.")
(license gpl2+)))

(define-public bigloo

+ 6
- 16
gnu/packages/screen.scm View File

@@ -42,20 +42,10 @@
(home-page "")
(synopsis "Full-screen window manager providing multiple terminals")
"GNU screen is a full-screen window manager that multiplexes a physical
terminal between several processes, typically interactive shells. Each virtual
terminal provides the functions of the DEC VT100 terminal and, in addition,
several control functions from the ANSI X3.64 (ISO 6429) and ISO 2022 standards
(e.g., insert/delete line and support for multiple character sets). There is a
scrollback history buffer for each virtual terminal and a copy-and-paste
mechanism that allows the user to move text regions between windows. When
screen is called, it creates a single window with a shell in it (or the
specified command) and then gets out of your way so that you can use the
program as you normally would. Then, at any time, you can create new
(full-screen) windows with other programs in them (including more shells), kill
the current window, view a list of the active windows, turn output logging on
and off, copy text between windows, view the scrollback history, switch between
windows, etc. All windows run their programs completely independent of each
other. Programs continue to run when their window is currently not visible and
even when the whole screen session is detached from the users terminal.")
"Screen is a terminal window manager that multiplexes a single terminal
between several processes. The virtual terminals each provide features such
as a scroll-back buffer and a copy-and-paste mechanism. Screen then manages
the different virtual terminals, allowing you to easily switch between them,
to detach them from the current session, or even splitting the view to show
two terminals at once.")
(license gpl2+)))

+ 3
- 5
gnu/packages/shishi.scm View File

@@ -48,9 +48,7 @@
(home-page "")
(synopsis "Implementation of the Kerberos 5 network security system")
"Shishi contains a library ('libshishi') that can be used by application
developers to add support for Kerberos 5. Shishi contains a command line
utility ('shishi') that is used by users to acquire and manage tickets (and
more). The server side, a Key Distribution Center (KDC), is implemented by
'shishid', and support X.509 authenticated TLS via GnuTLS.")
"Shishi is a free implementation of the Kerberos 5 network security
system. It is used to allow non-secure network nodes to communicate in a
secure manner through client-server mutual authentication via tickets.")
(license gpl3+)))

+ 3
- 9
gnu/packages/smalltalk.scm View File

@@ -49,13 +49,7 @@
(home-page "")
(synopsis "Smalltalk environment")
"GNU Smalltalk is a free implementation of the Smalltalk-80 language.

In the Smalltalk language, everything is an object. This includes numbers,
executable procedures (methods), stack frames (called method contexts or block
contexts), etc. Each object is an \"instance\" of a \"class\". A class can
be thought of as a datatype and the set of functions that operate on that
datatype. An instance is a particular variable of that datatype. When you
want to perform an operation on an object, you send it a \"message\", and the
object performs an operation that corresponds to that message.")
"GNU Smalltalk is a free implementation of the Smalltalk language. It
implements the ANSI standard for the language and also includes extra classes
such as ones for networking and GUI programming.")
(license gpl2+)))

+ 11
- 28
gnu/packages/system.scm View File

@@ -51,13 +51,11 @@
(inputs `(("pkg-config" ,pkg-config)
("guile" ,guile-2.0)))
(synopsis "Daemon managing daemons")
(description "'DMD' is a \"Daemon managing Daemons\" (or
\"Daemons-managing Daemon\"?)---i.e. a service manager that provides a
replacement for the service-managing capabilities of SysV-init (or any other
init) with a both powerful and beautiful dependency-based system with a
convenient interface. It is intended for use on GNU/Hurd, but it is supposed
to work on every POSIX-like system where Guile is available. In particular,
it has been tested on GNU/Linux.")
"DMD is a \"daemon-managing daemon,\" meaning it manages the execution of
system services, replacing similar functionality found in typical init
systems. It provides dependency-handling through a convenient interface and
is based on GNU Guile.")
(license gpl3+)
(home-page "")))

@@ -120,23 +118,10 @@ application (for console or X terminals) and requires ncurses.")
(home-page "")
(synopsis "Program invocation and execution supervisor")
"The name Pies (pronounced \"p-yes\") stands for Program Invocation
and Execution Supervisor. This utility starts and controls execution of
external programs, called components. Each component is a stand-alone
program, which is executed in the foreground. Upon startup, pies reads
the list of components from its configuration file, starts them, and
remains in the background, controlling their execution. If any of the
components terminates, the default action of Pies is to restart it.
However, it can also be programmed to perform a variety of another
actions such as, e.g., sending mail notifications to the system
administrator, invoking another external program, etc.

Pies can be used for a wide variety of tasks. Its most obious use is to
put in backgound a program which normally cannot detach itself from the
controlling terminal, such as, e.g., minicom. It can launch and control
components of some complex system, such as Jabberd or MeTA1 (and it
offers much more control over them than the native utilities). Finally,
it can replace the inetd utility!")
"Pies is a program that supervises the invocation and executiton of
other programs. It reads the list of programs to be started from its
configuration file, executes them, and then monitors their status,
re-executing them as necessary.")
(license gpl3+)))

(define-public inetutils
@@ -160,10 +145,8 @@ it can replace the inetd utility!")
(home-page "")
(synopsis "Basic networking utilities")
"The GNU network utilities suite provides the following tools:
ftp(d), hostname, ifconfig, inetd, logger, ping, rcp, rexec(d),
rlogin(d), rsh(d), syslogd, talk(d), telnet(d), tftp(d), traceroute,
uucpd, and whois.")
"Inetutils is a collection of common network programs, such as an ftp
client and server, a telnet client and server, and an rsh client and server.")
(license gpl3+)))

(define-public shadow

+ 5
- 13
gnu/packages/texinfo.scm View File

@@ -43,17 +43,9 @@
(home-page "")
(synopsis "The GNU documentation format")
"Texinfo is the official documentation format of the GNU project.
It was invented by Richard Stallman and Bob Chassell many years
ago, loosely based on Brian Reid's Scribe and other formatting
languages of the time. It is used by many non-GNU projects as

Texinfo uses a single source file to produce output in a number
of formats, both online and printed (dvi, html, info, pdf, xml,
etc.). This means that instead of writing different documents
for online information and another for a printed manual, you
need write only one document. And when the work is revised, you
need revise only that one document. The Texinfo system is
well-integrated with GNU Emacs.")
"Texinfo is the official documentation format of the GNU project. It
uses a single source file containing TeX-like formatting commands to produce
a final document in any of several supported output formats, such as HTML or
PDF. This package includes both the tools necessary to produce info
documents from their source as well as the command- line info reader.")
(license gpl3+)))

+ 3
- 10
gnu/packages/time.scm View File

@@ -51,14 +51,7 @@
(home-page "")
(synopsis "Run a command, then display its resource usage")