All HTTP gnu.org (and supported subdomain) HOME-PAGEs changed to HTTPS.
(("\"/bin/sh\"")
(string-append "\"" bash "/bin/sh\"")))
#t))))))
- (home-page "http://www.gnu.org/software/pies/")
+ (home-page "https://www.gnu.org/software/pies/")
(synopsis "Program invocation and execution supervisor")
(description
"GNU pies is a program that supervises the invocation and execution of
(inputs `(("ncurses" ,ncurses)
("readline" ,readline))) ;for 'ftp'
(native-inputs `(("netstat" ,net-tools))) ;for tests
- (home-page "http://www.gnu.org/software/inetutils/")
+ (home-page "https://www.gnu.org/software/inetutils/")
(synopsis "Basic networking utilities")
(description
"Inetutils is a collection of common network programs, such as an ftp
(arguments '(#:configure-flags '("alive_cv_nice_ping=yes")))
(inputs `(("guile" ,guile-2.0)
("inetutils" ,inetutils)))
- (home-page "http://www.gnu.org/software/alive/")
+ (home-page "https://www.gnu.org/software/alive/")
(synopsis "Autologin and keep-alive daemon")
(description
"GNU Alive sends periodic pings to a server, generally to keep a
(zero? (system* "make" "install-info")))))))
(native-inputs `(("texinfo" ,texinfo)
("util-linux" ,util-linux))) ; for 'cal'
- (home-page "http://www.gnu.org/software/rottlog/")
+ (home-page "https://www.gnu.org/software/rottlog/")
(synopsis "Log rotation and management")
(description
"GNU Rot[t]log is a program for managing log files. It is used to
#t))
%standard-phases)))
- (home-page "http://www.gnu.org/software/direvent/")
+ (home-page "https://www.gnu.org/software/direvent/")
(synopsis "Daemon to monitor directories for events such as file removal")
(description
"A daemon that monitors directories for events, such as creating,
;; XXX: Tests expect real name resolution to work.
#:tests? #f))
- (home-page "http://www.gnu.org/software/adns/")
+ (home-page "https://www.gnu.org/software/adns/")
(synopsis "Asynchronous DNS client library and utilities")
(description
"GNU adns is a C library that provides easy-to-use DNS resolution
measurements. Barcodes can be output in PostScript or Encapsulated PostScript
formats.")
(license license:gpl3+)
- (home-page "http://www.gnu.org/software/barcode/")))
+ (home-page "https://www.gnu.org/software/barcode/")))
(define-public qrencode
(package
(string-append "--mandir=" out "/share/man")
(string-append "--infodir=" out "/share/info")))))
%standard-phases)))
- (home-page "http://www.gnu.org/software/bc/")
+ (home-page "https://www.gnu.org/software/bc/")
(synopsis "Arbitrary precision numeric processing language")
(description
"bc is an arbitrary precision numeric processing language. It includes
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 "http://www.gnu.org/software/lightning/")
+ (home-page "https://www.gnu.org/software/lightning/")
(license license:gpl3+)))
("libjpeg" ,libjpeg-8)
("wcslib" ,wcslib)))
(build-system gnu-build-system)
- (home-page "https://www.gnu.org/software/gnuastro")
+ (home-page "https://www.gnu.org/software/gnuastro/")
(synopsis "Astronomical data manipulation programs")
(description "The GNU Astronomy Utilities (Gnuastro) is a suite of
programs for the manipulation and analysis of astronomical data.")
(base32
"0rfpapadka2023qhy8294ca5awxpb8d4904js6kv7piby5ax8siq"))))
(build-system gnu-build-system)
- (home-page "https://www.gnu.org/software/autoconf-archive")
+ (home-page "https://www.gnu.org/software/autoconf-archive/")
(synopsis "Collection of freely reusable Autoconf macros")
(description
"Autoconf Archive is a collection of over 450 new macros for Autoconf,
args)))))
(find-files dir ".*"))))
%standard-phases))))
- (home-page "http://www.gnu.org/software/automake/")
+ (home-page "https://www.gnu.org/software/automake/")
(synopsis "Making GNU standards-compliant Makefiles")
(description
"Automake the part of the GNU build system for producing
presenting a single consistent, portable interface that hides the usual
complexity of working with shared libraries across platforms.")
(license gpl3+)
- (home-page "http://www.gnu.org/software/libtool/")))
+ (home-page "https://www.gnu.org/software/libtool/")))
(define-public libltdl
;; This is a libltdl package separate from the libtool package. This is
"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 "http://www.gnu.org/software/hello/")
+ (home-page "https://www.gnu.org/software/hello/")
(license gpl3+)))
(define-public grep
numbers. GNU grep offers many extensions over the standard utility,
including, for example, recursive directory searching.")
(license gpl3+)
- (home-page "http://www.gnu.org/software/grep/")))
+ (home-page "https://www.gnu.org/software/grep/")))
(define-public sed
(package
is often used for substituting text patterns in a stream. The GNU
implementation offers several extensions over the standard utility.")
(license gpl3+)
- (home-page "http://www.gnu.org/software/sed/")))
+ (home-page "https://www.gnu.org/software/sed/")))
(define-public tar
(package
creation/modification dates. GNU tar offers many extensions over the
standard utility.")
(license gpl3+)
- (home-page "http://www.gnu.org/software/tar/")))
+ (home-page "https://www.gnu.org/software/tar/")))
(define-public patch
(package
different diff formats. It may also be used to revert previously applied
differences.")
(license gpl3+)
- (home-page "http://savannah.gnu.org/projects/patch/")))
+ (home-page "https://savannah.gnu.org/projects/patch/")))
(define-public diffutils
(package
\"diff3\" allows you to compare three files. Finally, \"sdiff\" offers an
interactive means to merge two files.")
(license gpl3+)
- (home-page "http://www.gnu.org/software/diffutils/")))
+ (home-page "https://www.gnu.org/software/diffutils/")))
(define-public findutils
(package
are included: \"updatedb\" updates the file name database and \"xargs\" may be
used to apply commands with arbitrarily long arguments.")
(license gpl3+)
- (home-page "http://www.gnu.org/software/findutils/")))
+ (home-page "https://www.gnu.org/software/findutils/")))
(define-public coreutils
(package
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 "http://www.gnu.org/software/coreutils/")))
+ (home-page "https://www.gnu.org/software/coreutils/")))
(define-public coreutils-minimal
;; Coreutils without its optional dependencies.
ability to determine when files have to be regenerated after their sources
change. GNU make offers many powerful extensions over the standard utility.")
(license gpl3+)
- (home-page "http://www.gnu.org/software/make/")))
+ (home-page "https://www.gnu.org/software/make/")))
(define-public binutils
(package
\"bfd\" library for working with executable and object formats is also
included.")
(license gpl3+)
- (home-page "http://www.gnu.org/software/binutils/")))
+ (home-page "https://www.gnu.org/software/binutils/")))
(define* (make-ld-wrapper name #:key
(target (const #f))
"The linker wrapper (or 'ld-wrapper') wraps the linker to add any
missing '-rpath' flags, and to detect any misuse of libraries outside of the
store.")
- (home-page "http://www.gnu.org/software/guix/")
+ (home-page "https://www.gnu.org/software/guix//")
(license gpl3+)))
(export make-ld-wrapper)
The GNU C library is used as the C library in the GNU system and most systems
with the Linux kernel.")
(license lgpl2.0+)
- (home-page "http://www.gnu.org/software/libc/")))
+ (home-page "https://www.gnu.org/software/libc/")))
(define-public glibc/hurd
;; The Hurd's libc variant.
"libiconv provides an implementation of the iconv function for systems
that lack it. iconv is used to convert between character encodings in a
program. It supports a wide variety of different encodings.")
- (home-page "http://www.gnu.org/software/libiconv/")
+ (home-page "https://www.gnu.org/software/libiconv/")
(license lgpl3+)))
(define* (libiconv-if-needed #:optional (target (%current-target-system)))
aliases, and job control while still allowing most sh scripts to be run
without modification.")
(license gpl3+)
- (home-page "http://www.gnu.org/software/bash/"))))
+ (home-page "https://www.gnu.org/software/bash/"))))
(define-public bash-minimal
;; A stripped-down Bash for non-interactive use.
("m4" ,m4)))
(inputs `(("flex" ,flex)))
(propagated-inputs `(("m4" ,m4)))
- (home-page "http://www.gnu.org/software/bison/")
+ (home-page "https://www.gnu.org/software/bison/")
(synopsis "Parser generator")
(description
"GNU Bison is a general-purpose parser generator. It can build a
(build-system gnu-build-system)
(native-inputs `(("pkg-config" ,pkg-config)))
(propagated-inputs `(("libcdio" ,libcdio)))
- (home-page "http://www.gnu.org/software/libcdio/")
+ (home-page "https://www.gnu.org/software/libcdio/")
(synopsis "Jitter- and error-tolerant CD audio extraction")
(description
"libcdio-paranoia is an implementation of CD paranoia libraries based on
is well-supported by free software. These files are commonly
distributed with CD images and are used to describe how tracks are
laid out on the image.")
- (home-page "http://www.gnu.org/software/ccd2cue")
+ (home-page "https://www.gnu.org/software/ccd2cue/")
(license gpl3+)))
;; Needed to have cflow-mode.el installed.
(native-inputs `(("emacs" ,emacs-minimal)))
- (home-page "http://www.gnu.org/software/cflow/")
+ (home-page "https://www.gnu.org/software/cflow/")
(synopsis "Create a graph of control flow within a program")
(description
"GNU cflow analyzes C source files and produces a graph charting the
(native-inputs
`(("texinfo" ,texinfo)
("autogen" ,autogen)))
- (home-page "http://www.gnu.org/software/complexity/")
+ (home-page "https://www.gnu.org/software/complexity/")
(synopsis "Analyze complexity of C functions")
(description
"GNU complexity provides tools for finding procedures that are
(install-file (string-append data "/gtags.el") lisp)
(delete-file (string-append data "/gtags.el"))
#t))))))
- (home-page "http://www.gnu.org/software/global/")
+ (home-page "https://www.gnu.org/software/global/")
(synopsis "Cross-environment source code tag system")
(description
"GLOBAL is a source code tagging system that functions in the same way
"This package provides a complete GCC tool chain for C/C++ development to
be installed in user profiles. This includes GCC, as well as libc (headers
and binaries, plus debugging symbols in the 'debug' output), and Binutils.")
- (home-page "http://gcc.gnu.org/")
+ (home-page "https://gcc.gnu.org/")
(outputs '("out" "debug"))
;; The main raison d'être of this "meta-package" is (1) to conveniently
file; as a result, it is often used in conjunction with \"tar\", resulting in
\".tar.gz\" or \".tgz\", etc.")
(license license:gpl3+)
- (home-page "http://www.gnu.org/software/gzip/")))
+ (home-page "https://www.gnu.org/software/gzip/")))
(define-public bzip2
(let ((build-shared-lib
(substitute* "tests/shar-1.ok"
(((which "sh")) "/bin/sh")))
%standard-phases)))
- (home-page "http://www.gnu.org/software/sharutils/")
+ (home-page "https://www.gnu.org/software/sharutils/")
(synopsis "Archives in shell scripts, uuencode/uudecode")
(description
"GNU sharutils is a package for creating and manipulating shell
(base32
"1jk42cjaggk71rimjnx3qpmb6hivps0917vl3z7wbxk3i2whb98j"))))
(build-system gnu-build-system)
- (home-page "http://www.gnu.org/software/cppi/")
+ (home-page "https://www.gnu.org/software/cppi/")
(synopsis "Indent C preprocessor directives to reflect nesting and more")
(description
"GNU Cppi processes C source code files to properly indent the
"1smwz4x5qa4js0zf1w3asq6z7mh20zlgwbh2bk5dczw6xrk22yyr"))))
(arguments `(#:configure-flags '("--enable-libgdbm-compat")))
(build-system gnu-build-system)
- (home-page "http://www.gnu.org/software/gdbm/")
+ (home-page "http://www.gnu.org.ua/software/gdbm")
(synopsis
"Hash library of database functions compatible with traditional dbm")
(description
unique fields, primary keys, time stamps and more. Many different field
types are supported, as is encryption.")
(license license:gpl3+)
- (home-page "http://www.gnu.org/software/recutils/")))
+ (home-page "https://www.gnu.org/software/recutils/")))
(define-public rocksdb
(package
("zlib" ,zlib)
;; ("wordnet" ,wordnet) ;FIXME: link failure
("libltdl" ,libltdl)))
- (home-page "http://www.gnu.org/software/dico/")
+ (home-page "https://www.gnu.org/software/dico/")
(synopsis "Implementation of DICT server (RFC 2229)")
(description
"GNU Dico implements a flexible dictionary server and client according to
(native-inputs `(("texinfo" ,texinfo)
("tar" ,tar)
("gzip" ,gzip)))
- (home-page "http://savannah.gnu.org/projects/vera/")
+ (home-page "https://savannah.gnu.org/projects/vera/")
(synopsis "List of acronyms")
(description
"V.E.R.A. (Virtual Entity of Relevant Acronyms) is a list of computing
(lambda _
(substitute* "testsuite/check.sh"
(("/bin/sh") (which "sh"))))))))
- (home-page "http://www.gnu.org/software/ed/")
+ (home-page "https://www.gnu.org/software/ed/")
(synopsis "Line-oriented text editor")
(description
"Ed is a line-oriented text editor: rather than offering an overview of
(variable "INFOPATH")
(files '("share/info")))))
- (home-page "http://www.gnu.org/software/emacs/")
+ (home-page "https://www.gnu.org/software/emacs/")
(synopsis "The extensible, customizable, self-documenting text editor")
(description
"GNU Emacs is an extensible and highly customizable text editor. It is
whatever formats are supported by your music player. It also
supports tagging and playlist management, all behind a clean and
light user interface.")
- (home-page "http://www.gnu.org/software/emms/")
+ (home-page "https://www.gnu.org/software/emms/")
(license license:gpl3+)))
(define-public emacs-emms-player-mpv
(arguments `(#:emacs ,emacs))
(native-inputs
`(("perl" ,perl)))
- (home-page "http://www.gnu.org/software/auctex/")
+ (home-page "https://www.gnu.org/software/auctex/")
(synopsis "Integrated environment for TeX")
(description
"AUCTeX is a comprehensive customizable integrated environment for
(native-inputs `(("fontforge" ,(package (inherit fontforge)
(inputs `(("python-2" ,python-2)
,@(package-inputs fontforge)))))))
- (home-page "http://www.gnu.org/software/freefont/")
+ (home-page "https://www.gnu.org/software/freefont/")
(synopsis "Unicode-encoded outline fonts")
(description
"The GNU Freefont project aims to provide a set of free outline
"0a9bsl2nbnb138lq0h14jfc5xvz7hpb2bcsj4mjn6g1hcsl4ik0y"))))
(arguments `(#:tests? #f)) ;; No check target.
(build-system gnu-build-system)
- (home-page "http://www.gnu.org/software/gnushogi/")
+ (home-page "https://www.gnu.org/software/gnushogi/")
(synopsis "The game of Shogi (Japanese chess)")
(description "GNU Shogi is a program that plays the game Shogi (Japanese
Chess). It is similar to standard chess but this variant is far more complicated.")
(inputs
`(("libxaw" ,libxaw)
("libxt" ,libxt)))
- (home-page "http://www.gnu.org/software/gnushogi/")
+ (home-page "https://www.gnu.org/software/gnushogi/")
(synopsis "User interface for gnushogi")
(description "A graphical user interface for the package @code{gnushogi}.")
;; Contains a copy of GPLv3 but the licence notices simply
(sha256
(base32 "19nc5vq4bnkjvhk8srqddzhcs93jyvpm9r6lzjzwc1mgf08yg0a6"))))
(build-system gnu-build-system)
- (home-page "http://www.gnu.org/software/talkfilters")
+ (home-page "https://www.gnu.org/software/talkfilters/")
(synopsis "Convert English text to humorous dialects")
(description "The GNU Talk Filters are programs that convert English text
into stereotyped or otherwise humorous dialects. The filters are provided as
(base32
"1vw2w3jwnmn44d5vsw47f8y70xvxcsz9m5msq9fgqlzjch15qhiw"))))
(build-system gnu-build-system)
- (home-page "https://www.gnu.org/software/chess")
+ (home-page "https://www.gnu.org/software/chess/")
(synopsis "Full chess implementation")
(description "GNU Chess is a chess engine. It allows you to compete
against the computer in a game of chess, either through the default terminal
("sdl-gfx" ,sdl-gfx)
("fontconfig" ,fontconfig)
("check" ,check)))
- (home-page "http://www.gnu.org/software/freedink/")
+ (home-page "https://www.gnu.org/software/freedink/")
(synopsis "Twisted adventures of young pig farmer Dink Smallwood")
(description
"GNU FreeDink is a free and portable re-implementation of the engine
(delete 'configure) ; no configure script
(delete 'check)) ; no tests
#:make-flags (list (string-append "PREFIX=" (assoc-ref %outputs "out")))))
- (home-page "http://www.gnu.org/software/freedink/")
+ (home-page "https://www.gnu.org/software/freedink/")
(synopsis "Game data for GNU Freedink")
(description
"This package contains the game data of GNU Freedink.")
(native-inputs
`(("texinfo" ,texinfo)
("pkg-config" ,pkg-config)))
- (home-page "https://www.gnu.org/software/xboard")
+ (home-page "https://www.gnu.org/software/xboard/")
(synopsis "Graphical user interface for chess programs")
(description "GNU XBoard is a graphical board for all varieties of chess,
including international chess, xiangqi (Chinese chess), shogi (Japanese chess)
(build-system gnu-build-system)
(inputs `(("ncurses" ,ncurses)
("perl" ,perl)))
- (home-page "http://www.gnu.org/software/gtypist/")
+ (home-page "https://www.gnu.org/software/gtypist/")
(synopsis "Typing tutor")
(description
"GNU Typist is a universal typing tutor. It can be used to learn and
even in Emacs. It supports the standard game storage format (SGF, Smart
Game Format) and inter-process communication format (GMP, Go Modem
Protocol).")
- (home-page "http://www.gnu.org/software/gnugo/")
+ (home-page "https://www.gnu.org/software/gnugo/")
(license license:gpl3+)))
(define-public extremetuxracer
`(("bash" ,bash))
'())))
- (home-page "http://www.gnu.org/software/gawk/")
+ (home-page "https://www.gnu.org/software/gawk/")
(synopsis "Text scanning and processing language")
(description
"Gawk is the GNU implementation of Awk, a specialized programming
(base32
"1av11zkfirbixn05hyq4xvilin0ncddfjqzc4zd9pviyp506rdci"))))
(build-system gnu-build-system)
- (home-page "https://www.gnu.org/software/gcal")
+ (home-page "https://www.gnu.org/software/gcal/")
(synopsis "Calculating and printing a wide variety of calendars")
(description
"Gcal is a program to calculate and print calendars on the
for several languages, including C, C++, Objective-C, Fortran, Java, Ada, and
Go. It also includes runtime support libraries for these languages.")
(license gpl3+)
- (home-page "http://gcc.gnu.org/"))))
+ (home-page "https://gcc.gnu.org/"))))
(define-public gcc-4.8
(package (inherit gcc-4.7)
implemented by the GNU C Compiler (gcc). As a reference, it is not intended
to be a tutorial of the language. Rather, it outlines all of the constructs
of the language. Library functions are not included.")
- (home-page "http://www.gnu.org/software/gnu-c-manual")
+ (home-page "https://www.gnu.org/software/gnu-c-manual/")
(license fdl1.3+)))
;; When tests fail, we want to know the details.
#:make-flags '("VERBOSE=yes")))
- (home-page "http://www.gnu.org/software/gettext/")
+ (home-page "https://www.gnu.org/software/gettext/")
(synopsis
"Tools and documentation for translation (used to build other packages)")
(description
capabilities of the PostScript language. It supports a wide variety of
output file formats and printers.")
(license license:agpl3+)
- (home-page "http://www.gnu.org/software/ghostscript/")
+ (home-page "https://www.gnu.org/software/ghostscript/")
(properties '((upstream-name . "gnu-ghostscript")))))
(define-public ghostscript/x
provides the reference implementation of the raster printer driver
architecture.")
(license license:expat)
- (home-page "http://www.gnu.org/software/ghostscript/")))
+ (home-page "https://www.gnu.org/software/ghostscript/")))
(define-public gs-fonts
(package
(string-append source "/standards.texi"))
(system* "gzip" (string-append info-dir "/maintain.info"))
(system* "gzip" (string-append info-dir "/standards.info"))))))
- (home-page "http://www.gnu.org/prep/standards/")
+ (home-page "https://www.gnu.org/prep/standards/")
(synopsis "GNU coding standards and maintainer information")
(description "The GNU Coding Standards were written by Richard Stallman
and other GNU Project volunteers. Their purpose is to make the GNU system
(native-inputs
`(("which" ,which)
("autogen" ,autogen)))
- (home-page "http://www.gnu.org/software/gnu-pw-mgr/")
+ (home-page "https://www.gnu.org/software/gnu-pw-mgr/")
(synopsis "Retrieve login credentials without recording passwords")
(description
"This program is designed to make it easy to reconstruct difficult
new formats can be added easily. The package also contains a command-line
tool to extract metadata from a file and print the results.")
(license license:gpl3+)
- (home-page "http://www.gnu.org/software/libextractor/")))
+ (home-page "https://www.gnu.org/software/libextractor/")))
(define-public libmicrohttpd
(package
'("default16.png" "default22.png" "default24.png"
"default32.png" "default48.png" "content/icon64.png"
"mozicon128.png" "default256.png")))))))))
- (home-page "http://www.gnu.org/software/gnuzilla/")
+ (home-page "https://www.gnu.org/software/gnuzilla/")
(synopsis "Entirely free browser derived from Mozilla Firefox")
(description
"IceCat is the GNU version of the Firefox browser. It is entirely free
"0gnnm8iqcl52m8iha3sxrzrl9mcyhg7lfrhhqgdn4zj00ji14wbn"))))
(build-system gnu-build-system)
(arguments '(#:parallel-tests? #f))
- (home-page "http://www.gnu.org/software/gperf/")
+ (home-page "https://www.gnu.org/software/gperf/")
(synopsis "Perfect hash function generator")
(description
"gperf is a perfect hash function generator. For a given list of
formatted output based on formatting commands contained within the text. It
is usually the formatter of \"man\" documentation pages.")
(license gpl3+)
- (home-page "http://www.gnu.org/software/groff/")))
+ (home-page "https://www.gnu.org/software/groff/")))
;; There are no releases, so we take the latest commit.
(define-public roffit
this library, freeing the application developer from needing to know about
the underlying security implementation.")
(license license:gpl3+)
- (home-page "http://www.gnu.org/software/gss/")))
+ (home-page "https://www.gnu.org/software/gss/")))
(define-public gsasl
(package
SASL is used to handle client/server authentication. This package contains
both a library and a command-line tool to access the library.")
(license license:gpl3+)
- (home-page "http://www.gnu.org/software/gsasl/")))
+ (home-page "https://www.gnu.org/software/gsasl/")))
(description
"Includes guile-clutter, guile-gnome-gstreamer,
guile-gnome-platform (GNOME developer libraries), and guile-gtksourceview.")
- (home-page "http://www.gnu.org/software/guile-gnome/")
+ (home-page "https://www.gnu.org/software/guile-gnome/")
(license license:gpl2+)))
;;;
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 "http://www.gnu.org/software/guile/")
+ (home-page "https://www.gnu.org/software/guile/")
(license license:lgpl2.0+)))
(define-public guile-2.0
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 "http://www.gnu.org/software/guile/")
+ (home-page "https://www.gnu.org/software/guile/")
(license license:lgpl3+)))
(define-public guile-2.0/fixed
(build-system gnu-build-system)
(native-inputs `(("pkg-config" ,pkg-config)))
(inputs `(("ed" ,ed) ("which" ,which) ("guile" ,guile-2.0)))
- (home-page "http://www.gnu.org/software/mcron/")
+ (home-page "https://www.gnu.org/software/mcron/")
(synopsis "Run jobs at scheduled times")
(description
"GNU Mcron is a complete replacement for Vixie cron. It is used to run
With it, one can view and navigate through PostScript and PDF documents in X
Windows.")
(license license:gpl3+)
- (home-page "http://www.gnu.org/software/gv/")))
+ (home-page "https://www.gnu.org/software/gv/")))
(native-inputs
`(("intltool" ,intltool)
("pkg-config" ,pkg-config)))
- (home-page "http://www.gnu.org/software/gxmessage/")
+ (home-page "https://www.gnu.org/software/gxmessage/")
(synopsis "Open popup message window with buttons for return")
(description "GNU gxmessage is a program that pops up dialog windows, which display
a message to the user and waits for their action. The program then exits
`(("flex" ,flex)
("bison" ,bison)))
(arguments `(#:tests? #f))
- (home-page "http://www.gnu.org/software/hurd/microkernel/mach/mig/gnu_mig.html")
+ (home-page "https://www.gnu.org/software/hurd/microkernel/mach/mig/gnu_mig.html")
(synopsis "Mach 3.0 interface generator for the Hurd")
(description
"GNU MIG is the GNU distribution of the Mach 3.0 interface generator
"ac_cv_search_clnt_create=no")
#:tests? #f))
- (home-page "http://www.gnu.org/software/hurd/hurd.html")
+ (home-page "https://www.gnu.org/software/hurd/hurd.html")
(synopsis "GNU Hurd headers")
(description
"This package provides C headers of the GNU Hurd, used to build the GNU C
(lambda _
(zero? (system* "make" "-Clibihash" "libihash.a")))
%standard-phases)))))
- (home-page "http://www.gnu.org/software/hurd/hurd.html")
+ (home-page "https://www.gnu.org/software/hurd/hurd.html")
(synopsis "GNU Hurd libraries")
(description
"This package provides libihash, needed to build the GNU C
(patches (search-patches "diffutils-gets-undeclared.patch"))))
(build-system gnu-build-system)
(native-inputs `(("emacs" ,emacs-minimal)))
- (home-page "http://www.gnu.org/software/idutils/")
+ (home-page "https://www.gnu.org/software/idutils/")
(synopsis "Identifier database utilities")
(description
"The GNU idutils package includes tools to create an index of textual
deal with incomplete or malformed syntax. GNU indent offers several
extensions over the standard utility.")
(license license:gpl3+)
- (home-page "http://www.gnu.org/software/indent/")))
+ (home-page "https://www.gnu.org/software/indent/")))
;; #endif
("libgcrypt" ,libgcrypt-1.5)
("libtasn1" ,libtasn1)))
- (home-page "http://www.gnu.org/software/shishi/")
+ (home-page "https://www.gnu.org/software/shishi/")
(synopsis "Implementation of the Kerberos 5 network security system")
(description
"GNU Shishi is a free implementation of the Kerberos 5 network security
;; The C code is dual-licensed gpl2+ lgpl3+, the manual is fdl1.3+,
;; the command line tool is gpl3+.
(license (list gpl2+ gpl3+ lgpl3+ fdl1.3+))
- (home-page "http://www.gnu.org/software/libidn/")))
+ (home-page "https://www.gnu.org/software/libidn/")))
(define-public libidn2
(package
(sha256
(base32 "16hrs8k3nmc7a8jam5j1fpspd6sdpkamskvsdpcw6m29vnis8q44"))))
(build-system gnu-build-system)
- (home-page "http://www.gnu.org/software/libsigsegv/")
+ (home-page "https://www.gnu.org/software/libsigsegv/")
(synopsis "Library for handling page faults")
(arguments
;; On MIPS, work around this error:
"GNU libunistring is a library providing functions to manipulate
Unicode strings and for manipulating C strings according to the Unicode
standard.")
- (home-page "http://www.gnu.org/software/libunistring/")
+ (home-page "https://www.gnu.org/software/libunistring/")
(license lgpl3+)))
#t))))))
#:allowed-references ()
#:tests? #f))
- (home-page "http://www.gnu.org/software/linux-libre")
+ (home-page "https://www.gnu.org/software/linux-libre/")
(synopsis "GNU Linux-Libre kernel headers")
(description "Headers of the Linux-Libre kernel.")
(license license:gpl2)))
"INSTALL_MOD_STRIP=1"
"modules_install"))))))
#:tests? #f))
- (home-page "http://www.gnu.org/software/linux-libre/")
+ (home-page "https://www.gnu.org/software/linux-libre//")
(synopsis "100% free redistribution of a cleaned Linux kernel")
(description
"GNU Linux-Libre is a free (as in freedom) variant of the Linux kernel.
("readline" ,readline)
("texinfo" ,texinfo)
("texlive" ,texlive)))
- (home-page "http://www.gnu.org/software/gcl")
+ (home-page "https://www.gnu.org/software/gcl/")
(synopsis "A Common Lisp implementation")
(description "GCL is an implementation of the Common Lisp language. It
features the ability to compile to native object code and to load native
expanding macros as it encounters them. It also has some built-in functions,
for example to run shell commands or to do arithmetic.")
(license gpl3+)
- (home-page "http://www.gnu.org/software/m4/")))
+ (home-page "https://www.gnu.org/software/m4/")))
("linux-pam" ,linux-pam)
("libltdl" ,libltdl)
("gdbm" ,gdbm)))
- (home-page "https://www.gnu.org/software/mailutils/")
+ (home-page "https://mailutils.org")
(synopsis "Utilities and library for reading and serving mail")
(description
"GNU Mailutils is a collection of programs for managing, viewing and
;; etc.) Failing to do that leads to misdetections of
;; declarations by 'gcc/configure', and eventually to
;; duplicate declarations as reported in
- ;; <http://gcc.gnu.org/bugzilla/show_bug.cgi?id=59217>.
+ ;; <https://gcc.gnu.org/bugzilla/show_bug.cgi?id=59217>.
("gmp-native" ,gmp)
("mpfr-native" ,mpfr)
("mpc-native" ,mpc)
;; ("perl-LocaleGettext" ,perl-LocaleGettext)
;; ("gettext" ,gettext-minimal)
))
- (home-page "http://www.gnu.org/software/help2man/")
+ (home-page "https://www.gnu.org/software/help2man/")
(synopsis "Automatically generate man pages from program --help")
(description
"GNU help2man is a program that converts the output of standard
(sha256
(base32 "0l6swjy8fjrqw89ghc1vvakg21jmpfkpsw92yssrzkg3rg8vkrry"))))
(build-system gnu-build-system)
- (home-page "http://www.gnu.org/software/marst")
+ (home-page "https://www.gnu.org/software/marst/")
(synopsis "Algol-to-C translator")
(description
"GNU MARST is an Algol-to-C translator. The package consists of the
logical symbols and its natural deduction interface make it easy to use for
beginners.")
(license license:gpl3+)
- (home-page "http://www.gnu.org/software/aris/")))
+ (home-page "https://www.gnu.org/software/aris/")))
(define-public c-graph
(package
student to write code, the program offers an intuitive interface with
interactive dialogs to guide them.")
(license license:gpl3+)
- (home-page "http://www.gnu.org/software/c-graph/")))
+ (home-page "https://www.gnu.org/software/c-graph/")))
(define-public coda
(package
conversions such as Fahrenheit to Celsius. Its interpreter is powerful
enough to be used effectively as a scientific calculator.")
(license license:gpl3+)
- (home-page "http://www.gnu.org/software/units/")))
+ (home-page "https://www.gnu.org/software/units/")))
(define-public double-conversion
(package
universal constants, atomic numbers, and constants related to
semiconductors.")
(license license:gpl3+)
- (home-page "http://www.gnu.org/software/dionysus/")))
+ (home-page "https://www.gnu.org/software/dionysus/")))
(define-public gsl
(package
(build-system gnu-build-system)
(arguments
`(#:parallel-tests? #f))
- (home-page "http://www.gnu.org/software/gsl/")
+ (home-page "https://www.gnu.org/software/gsl/")
(synopsis "Numerical library for C and C++")
(description
"The GNU Scientific Library is a library for numerical analysis in C
("popt" ,popt)))
(native-inputs
`(("pkg-config" ,pkg-config)))
- (home-page "http://www.gnu.org/software/gsegrafix/")
+ (home-page "https://www.gnu.org/software/gsegrafix/")
(synopsis "GNOME application to create scientific and engineering plots")
(description "GSEGrafix is an application which produces high-quality graphical
plots for science and engineering. Plots are specified via simple ASCII
continuous manner. It also includes tutorials that help to explain how fractals
are built. It can generate many different fractal types such as the Mandelbrot
set.")
- (home-page "http://www.gnu.org/software/xaos/")
+ (home-page "https://www.gnu.org/software/xaos/")
(license license:gpl2+)))
(define-public hypre
(description "GNU JACAL is an interactive symbolic mathematics program based on
Scheme. It manipulate and simplify a range of mathematical expressions such
as equations, scalars, vectors, and matrices.")
- (home-page "http://www.gnu.org/software/jacal")
+ (home-page "https://www.gnu.org/software/jacal/")
(license license:gpl3+)))
the Readline library to handle input, so it features convenient navigation of
text as well as tab-completion of buddy names, commands and English words. It
is also scriptable and extensible via Guile.")
- (home-page "https://www.gnu.org/software/freetalk")
+ (home-page "https://www.gnu.org/software/freetalk/")
(license license:gpl3+)))
(define-public libmesode
;; prevents us from using pulseaudio
(inputs `(("ncurses" ,ncurses)
("alsa" ,alsa-lib)))
- (home-page "http://www.gnu.org/software/cursynth")
+ (home-page "https://www.gnu.org/software/cursynth/")
(synopsis "Polyphonic and MIDI subtractive music synthesizer using curses")
(description "GNU cursynth is a polyphonic synthesizer that runs
graphically in the terminal. It is built on a full-featured subtractive
implement user interfaces for command-line applications. The accompanying
ncursesw library provides wide character support.")
(license x11)
- (home-page "http://www.gnu.org/software/ncurses/")))
+ (home-page "https://www.gnu.org/software/ncurses/")))
(define-public dialog
(package
(base32
"1xsiivjjyhqcs6dyjcshrnxlgypvyfzacjz7gcjgl88xiw9lylri"))))
(build-system gnu-build-system)
- (home-page "http://www.gnu.org/software/macchanger")
+ (home-page "https://www.gnu.org/software/macchanger/")
(synopsis "Viewing and manipulating MAC addresses of network interfaces")
(description "GNU MAC Changer is a utility for viewing and changing MAC
addresses of networking devices. New addresses may be set explicitly or
"1m2dblgvvjs48rsglfdwq0ib9zk8h9n34xsh67ibrg0g0ffbw477"))))
(build-system gnu-build-system)
(native-inputs `(("lzip" ,lzip)))
- (home-page "http://www.gnu.org/software/ocrad/")
+ (home-page "https://www.gnu.org/software/ocrad/")
(synopsis "Optical character recognition based on feature extraction")
(description
"GNU Ocrad is an optical character recognition program based on a
("guile-json" ,guile-json)
("guile-ssh" ,guile-ssh)))
- (home-page "http://www.gnu.org/software/guix")
+ (home-page "https://www.gnu.org/software/guix/")
(synopsis "Functional package manager for installed software packages and versions")
(description
"GNU Guix is a functional package manager for the GNU system, and is
"03iqcki1lakkck1akdyvljjapgqda3l0rh38id7jhrac9kcxqgg2"))))
(build-system gnu-build-system)
(inputs `(("perl" ,perl)))
- (home-page "http://www.gnu.org/software/pem/")
+ (home-page "https://www.gnu.org/software/pem/")
(synopsis "Personal expenses manager")
(description
"GNU Pem is a simple tool for tracking personal income and
formats, as specified by the GNU coding standards. Additionally, the
output of the standard options \"--help\" and \"--version\" is generated
automatically.")
- (home-page "http://www.gnu.org/software/gengetopt/gengetopt.html")
+ (home-page "https://www.gnu.org/software/gengetopt/gengetopt.html")
(license gpl3+)))
"tests/gps-ref/psmandup.ps")
(("#! */bin/sh") (string-append
"#!" (which "sh")))))))))
- (home-page "http://www.gnu.org/software/a2ps")
+ (home-page "https://www.gnu.org/software/a2ps/")
(synopsis "Any file to PostScript, including pretty-printing")
(description
"GNU a2ps converts almost anything to a PostScript file, ready for
(arguments
;; Must define DIFF_CMD for tests to pass
'(#:configure-flags '("CPPFLAGS=-DDIFF_CMD=\\\"diff\\\"")))
- (home-page "http://www.gnu.org/software/trueprint")
+ (home-page "https://www.gnu.org/software/trueprint/")
(synopsis "Pretty-print C sources and other plain text to PostScript")
(description
"GNU Trueprint translates C source code files as PostScript files.
(base32
"1fy0ymvzrrvs889zanxcaxjfcxarm2d3k43c9frmbl1ld7dblmkd"))))
(build-system gnu-build-system)
- (home-page "http://www.gnu.org/software/enscript")
+ (home-page "https://www.gnu.org/software/enscript/")
(synopsis "Generating PostScript, including pretty-printing")
(description
"GNU Enscript is a program to convert ASCII text files to PostScript,
"tests/test.tcl.html")
(("#! */bin/sh") "#!/bin/sh")))
%standard-phases)))
- (home-page "http://www.gnu.org/software/src-highlite")
+ (home-page "https://www.gnu.org/software/src-highlite/")
(synopsis "Produce a document with syntax highlighting from a source file")
(description
"GNU source-highlight reads in a source code file and produces an output
(build-system gnu-build-system)
(arguments
'(#:parallel-build? #f))
- (home-page "http://www.gnu.org/software/pth")
+ (home-page "https://www.gnu.org/software/pth/")
(synopsis "Portable thread library")
(description
"GNU Pth is a portable library providing non-preemptive, priority-based
features both Emacs-like and vi-like keybindings, making its usage
comfortable for anyone.")
(license gpl3+)
- (home-page "http://savannah.gnu.org/projects/readline/"))))
+ (home-page "https://savannah.gnu.org/projects/readline/"))))
(define-public readline-6.2
(package (inherit readline)
(base32
"1vxdb81ify4xcyygh86250pi50krb16dkj42i5ii4ns3araiwckz"))))
(build-system gnu-build-system)
- (home-page "http://www.gnu.org/software/rush/")
+ (home-page "https://www.gnu.org/software/rush/")
(synopsis "Restricted user (login) shell")
(description
"GNU Rush is a restricted user shell, for systems on which users are to
;; Fails to build on MIPS, see <http://bugs.gnu.org/18221>.
(supported-systems (delete "mips64el-linux" %supported-systems))
- (home-page "http://www.gnu.org/software/mit-scheme/")
+ (home-page "https://www.gnu.org/software/mit-scheme/")
(synopsis "A Scheme implementation with integrated editor and debugger")
(description
"GNU/MIT Scheme is an implementation of the Scheme programming
(description "Guile-SDL is a set of bindings to the Simple DirectMedia
Layer (SDL). With them, Guile programmers can have easy access to graphics,
sound and device input (keyboards, joysticks, mice, etc.).")
- (home-page "http://gnu.org/s/guile-sdl")
+ (home-page "https://www.gnu.org/software/guile-sdl/")
(license gpl3+)))
(define-public guile-sdl2
(base32
"1frdmgrmb509fxbdpsxxw3lvvwv7xm1pavqrqgm4jg698iix6xfw"))))
(build-system gnu-build-system)
- (home-page "https://www.gnu.org/software/bool")
+ (home-page "https://www.gnu.org/software/bool/")
(synopsis "Finding text and HTML files that match boolean expressions")
(description
"GNU Bool is a utility to perform text searches on files using Boolean
(find-files "test" "^t[0-9]{3}$")
(("/bin/sh") (which "sh"))))
%standard-phases)))
- (home-page "http://www.gnu.org/software/serveez/")
+ (home-page "https://www.gnu.org/software/serveez/")
(synopsis "Framework for implementing IP-based servers")
(description
"GNU Serveez is a server framework providing the routines necessary to
`(("glib" ,glib "bin") ;for glib-genmarshal
("perl" ,perl)
("pkg-config" ,pkg-config)))
- (home-page "http://www.gnu.org/software/pspp/")
+ (home-page "https://www.gnu.org/software/pspp/")
(synopsis "Statistical analysis")
(description
"GNU PSPP is a statistical analysis program. It can perform
serialization and XML parsing. It includes the uCommon C++ library, a smaller
reimplementation.")
(license license:gpl2+) ; plus runtime exception
- (home-page "http://www.gnu.org/software/commoncpp")))
+ (home-page "https://www.gnu.org/software/commoncpp/")))
(define-public ucommon
(package
applications, such as for systems using uclibc along with posix threading
support.")
(license license:gpl3+)
- (home-page "http://www.gnu.org/software/commoncpp")
+ (home-page "https://www.gnu.org/software/commoncpp/")
(properties '((ftp-directory . "/gnu/commoncpp")))))
(define-public ccrtp
function as a framework for the framework, rather than just being a
packet-manipulation library.")
(license license:gpl2+) ; plus runtime exception
- (home-page "http://www.gnu.org/software/ccrtp")))
+ (home-page "https://www.gnu.org/software/ccrtp/")))
(define-public osip
used to provide multimedia and telecom software developers with an interface
to initiate and control SIP sessions.")
(license license:lgpl2.1+)
- (home-page "http://www.gnu.org/software/osip")))
+ (home-page "https://www.gnu.org/software/osip/")))
(define-public exosip
used to construct a secure telephone system that operates over the public
internet.")
(license license:gpl3+)
- (home-page "http://www.gnu.org/software/sipwitch")))
+ (home-page "https://www.gnu.org/software/sipwitch/")))
(define-public libsrtp
(package
(native-inputs
`(("texlive" ,texlive)
("automake" ,automake)))
- (home-page "http://www.gnu.org/software/teximpatient")
+ (home-page "https://www.gnu.org/software/teximpatient/")
(synopsis "Book on TeX, plain TeX and Eplain")
(description "@i{TeX for the Impatient} is a ~350 page book on TeX,
plain TeX, and Eplain, originally written by Paul Abrahams, Kathryn Hargreaves,
(variable "INFOPATH")
(files '("share/info")))))
- (home-page "http://www.gnu.org/software/texinfo/")
+ (home-page "https://www.gnu.org/software/texinfo/")
(synopsis "The GNU documentation format")
(description
"Texinfo is the official documentation format of the GNU project. It
(system* "./configure"
(string-append "--prefix=" out)))))
%standard-phases)))
- (home-page "http://www.gnu.org/software/time/")
+ (home-page "https://www.gnu.org/software/time/")
(synopsis "Run a command, then display its resource usage")
(description
"Time is a command that displays information about the resources that a
"0869cp6jx7cajgv6cnddsh3vc7bimmdkdjn80y1jpb4iss7plvsg"))))
(build-system gnu-build-system)
(native-inputs `(("perl" ,perl)))
- (home-page "http://www.gnu.org/software/libtasn1/")
+ (home-page "https://www.gnu.org/software/libtasn1/")
(synopsis "ASN.1 library")
(description
"GNU libtasn1 is a library implementing the ASN.1 notation. It is used
(getenv "PATH")))
(zero? (system* "autoreconf" "-vfi"))))))
(build-system gnu-build-system)
- (home-page "http://www.gnu.org/software/unrtf")
+ (home-page "https://www.gnu.org/software/unrtf/")
(synopsis "Convert Rich Text Format documents to other formats")
(description
"GNU UnRTF converts text documents from RTF to HTML, LaTeX, or troff.
(string-append "--infodir=" out
"/share/info")))))
%standard-phases)))
- (home-page "http://www.gnu.org/software/uucp/uucp.html")
+ (home-page "https://www.gnu.org/software/uucp/uucp.html")
(synopsis "UUCP protocol implementation")
(description
"Taylor UUCP is the GNU implementation of UUCP (Unix-to-Unix Copy), a
"1zsx7bb0rgvvvisiy4zlixf56ay8wbd9qqqcp1a1g0m1gl6mlg86"))))
(build-system gnu-build-system)
(native-inputs `(("ed" ,ed)))
- (home-page "http://www.gnu.org/software/rcs/")
+ (home-page "https://www.gnu.org/software/rcs/")
(synopsis "Per-file local revision control system")
(description
"RCS is the original Revision Control System. It works on a
;; These are needed for the tests
(native-inputs `(("git" ,git)
("cvs" ,cvs)))
- (home-page "http://www.gnu.org/software/cssc/")
+ (home-page "https://www.gnu.org/software/cssc/")
(synopsis "File-based version control like SCCS")
(description "GNU CSSC provides a replacement for the legacy Unix source
code control system SCCS. This allows old code still under that system to be
("xproto" ,xproto)))
(native-inputs
`(("pkg-config" ,pkg-config)))
- (home-page "http://www.gnu.org/software/xnee/")
+ (home-page "https://www.gnu.org/software/xnee/")
(synopsis "Record, replay and distribute user actions under X11")
(description
"GNU Xnee is a program that can record, replay and distribute user