aboutsummaryrefslogtreecommitdiff
path: root/gnu/packages/gcal.scm
blob: 3e45163d791e8614b42020a20a00e592a668a8bd (about) (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
;;; GNU Guix --- Functional package management for GNU
;;; Copyright © 2013 Ludovic Courtès <ludo@gnu.org>
;;;
;;; This file is part of GNU Guix.
;;;
;;; GNU Guix is free software; you can redistribute it and/or modify it
;;; under the terms of the GNU General Public License as published by
;;; the Free Software Foundation; either version 3 of the License, or (at
;;; your option) any later version.
;;;
;;; GNU Guix is distributed in the hope that it will be useful, but
;;; WITHOUT ANY WARRANTY; without even the implied warranty of
;;; MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
;;; GNU General Public License for more details.
;;;
;;; You should have received a copy of the GNU General Public License
;;; along with GNU Guix.  If not, see <http://www.gnu.org/licenses/>.

(define-module (gnu packages gcal)
  #:use-module (guix packages)
  #:use-module (guix download)
  #:use-module (guix build-system gnu)
  #:use-module (guix licenses))

(define-public gcal
  (package
    (name "gcal")
    (version "4.1")
    (source (origin
             (method url-fetch)
             (uri (string-append "mirror://gnu/gcal/gcal-"
                                 version ".tar.xz"))
             (sha256
              (base32
               "1av11zkfirbixn05hyq4xvilin0ncddfjqzc4zd9pviyp506rdci"))))
    (build-system gnu-build-system)
    (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
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+)))
tr>2022-09-24gnu: Add coq-mathcomp-bigenough....* gnu/packages/coq.scm (coq-mathcomp-bigenough): New variable. Signed-off-by: Julien Lepiller <julien@lepiller.eu> Garek Dyszel 2022-09-24gnu: Add coq-mathcomp-finmap....* gnu/packages/coq.scm (coq-mathcomp-finmap): New variable. Signed-off-by: Julien Lepiller <julien@lepiller.eu> Garek Dyszel 2022-09-22gnu: coq: Update to 8.16.0....* gnu/packages/coq.scm (coq-core): Update to 8.16.0. (coq-bignums): Update to 8.16.0. (coq-equations): Update to 1.3-8.16. (coq-gappa): Adjust for changes in coq-core. Julien Lepiller 2022-09-22gnu: coq-interval: Update to 4.5.2....* gnu/packages/coq.scm (coq-interval): Update to 4.5.2. Julien Lepiller 2022-09-22gnu: coq-mathcomp: Update to 1.15.0....* gnu/packages/coq.scm (coq-mathcomp): Update to 1.15.0. Julien Lepiller 2022-09-22gnu: coq-gappa: Update to 1.5.2....* gnu/packages/coq.scm (coq-gappa): Update to 1.5.2. Julien Lepiller 2022-09-22gnu: coq-flocq: Update to 4.1.0....* gnu/packages/coq.scm (coq-flocq): Update to 4.1.0. Julien Lepiller 2022-09-22gnu: lablgtk3: Update to 3.1.2....* gnu/packages/ocaml.scm (lablgtk3): Update to 3.1.2. [arguments]: Do not build extensions anymore (missing dependency) * gnu/packages/games.scm (laby)[inputs]: Use `ocaml-lablgtk3-sourceview3'. * gnu/packages/maths.scm (frama-c)[inputs]: Use `ocaml-lablgtk3-sourceview3'. * gnu/packages/coq.scm (coq-ide)[inputs]: Use `ocaml-lablgtk3-sourceview3'. Julien Lepiller