aboutsummaryrefslogtreecommitdiff
;;; GNU Guix --- Functional package management for GNU
;;; Copyright © 2016 John Darrington <jmd@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 marst)
  #:use-module (guix packages)
  #:use-module (guix licenses)
  #:use-module (guix download)
  #:use-module (gnu packages compression)
  #:use-module (guix build-system gnu))

(define-public marst
  (package
    (name "marst")
    (version "2.7")
    (source
     (origin
       (method url-fetch)
       (uri (string-append
             "mirror://gnu/" name "/" name "-" version
             ".tar.gz"))
       (sha256
        (base32 "0l6swjy8fjrqw89ghc1vvakg21jmpfkpsw92yssrzkg3rg8vkrry"))))
    (build-system gnu-build-system)
    (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
translator itself, a library that contains the necessary Algol 60 procedures,
and a converter that converts existing Algol 60 programs from other
representations to the MARST representation.")
    (license gpl3+)))
18-03-14gnu: texlive-latex-seminar: Declare a source file-name....Efraim Flashner 2018-03-14gnu: texlive-latex-natbib: Declare a source file-name....Efraim Flashner 2018-03-14gnu: texlive-latex-filemod: Declare a source file-name....Efraim Flashner 2018-03-14gnu: texlive-latex-psnfss: Declare a source file-name....Efraim Flashner 2018-03-14gnu: texlive-latex-cyrillic: Declare a source file-name....Efraim Flashner 2018-03-14gnu: texlive-latex-babel: Declare a source file-name....Efraim Flashner 2018-03-14gnu: texlive-latex-amscls: Declare a source file-name....Efraim Flashner 2018-03-14gnu: texlive-latex-amsmath: Declare a source file-name....Efraim Flashner 2018-03-14gnu: texlive-luatex-lualibs: Include version in source file-name....Efraim Flashner 2018-03-14gnu: texlive-latex-fontspec: Declare a source file-name....Efraim Flashner 2018-03-14gnu: texlive-latex-l3packages: Declare a source file-name....Efraim Flashner 2018-03-14gnu: texlive-latex-l3kernel: Declare a source file-name....Efraim Flashner 2018-03-14gnu: texlive-latex-url: Declare a source file-name....Efraim Flashner 2018-03-14gnu: texlive-latex-tools: Declare a source file-name....Efraim Flashner 2018-03-14gnu: texlive-latex-oberdiek: Declare a source file-name....Efraim Flashner 2018-03-14gnu: texlive-latex-xcolor: Declare a source file-name....Efraim Flashner 2018-03-14gnu: texlive-latex-graphics: Declare a source file-name....Efraim Flashner 2018-03-14gnu: texlive-latex-fancyvrb: Declare a source file-name....Efraim Flashner 2018-03-14gnu: texlive-generic-epsf: Declare a source file-name....Efraim Flashner 2018-03-14gnu: texlive-generic-ifxetex: Declare a source file-name....Efraim Flashner 2018-03-14gnu: texlive-latex-filecontents: Declare a source file-name....Efraim Flashner 2018-03-13gnu: texlive-latex-base: Use 'invoke'....Efraim Flashner 2018-03-13gnu: texlive-latex-base: Declare a source file-name....Efraim Flashner 2018-03-13gnu: texlive-tex-plain: Declare a source file-name....Efraim Flashner 2018-03-13gnu: texlive-latex-amsfonts: Declare a source file-name....Efraim Flashner 2018-03-13gnu: texlive-fonts-amsfonts: Declare a source file-name....Efraim Flashner 2018-03-13gnu: texlive-fonts-latex: Declare a source file-name....Efraim Flashner 2018-03-13gnu: texlive-fonts-knuth-lib: Declare a source file-name....Efraim Flashner 2018-03-13gnu: texlive-fonts-cm: Declare a source file-name....Efraim Flashner 2018-03-13gnu: texlive-fontname: Fix source file-name....Efraim Flashner 2018-03-13gnu: texlive-metafont-base: Declare a source file-name....Efraim Flashner 2018-03-13gnu: texlive-generic-hyph-utf8: Declare a source file-name....Efraim Flashner 2018-03-13gnu: texlive-generic-tex-ini-files: Declare a source file-name....Efraim Flashner 2018-03-13gnu: texlive-generic-dehyph-exptl: Declare a source file-name....Efraim Flashner 2018-03-13gnu: texlive-generic-unicode-data: Declare a source file-name....Efraim Flashner 2018-03-13gnu: Use https for www.ctan.org....Efraim Flashner 2018-03-13gnu: texlive-dvips: Declare a source file-name....Efraim Flashner 2018-03-03gnu: Add texlive-fonts-iwona....Ricardo Wurmus 2017-12-15gnu: texlive-bin: Disable tests on aarch64....Eric Bavier 2017-12-14gnu: perl-text-bibtex: Update to 0.85....Tobias Geerinckx-Rice 2017-11-18gnu: Remove duplicates from (gnu packages tex)....Ricardo Wurmus 2017-11-13gnu: Move test packages from perl to perl-check....Ricardo Wurmus