;;; GNU Guix --- Functional package management for GNU ;;; Copyright © 2015 Roel Janssen ;;; ;;; 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 . (define-module (gnu packages inklingreader) #:use-module ((guix licenses) #:prefix license:) #:use-module (guix packages) #:use-module (guix download) #:use-module (guix build-system gnu) #:use-module (gnu packages) #:use-module (gnu packages autotools) #:use-module (gnu packages glib) #:use-module (gnu packages gnome) #:use-module (gnu packages gtk) #:use-module (gnu packages libusb) #:use-module (gnu packages pkg-config)) (define-public inklingreader (package (name "inklingreader") (version "0.8") (source (origin (method url-fetch) (uri (string-append "ftp://alpha.gnu.org/gnu/inklingreader/inklingreader-" version ".tar.gz")) (sha256 (base32 "0ikg95mgwfqh0bq4dzvkfmdiycacqvv27g91hl6adwk5y3gzl96g")))) (build-system gnu-build-system) (inputs (list glib cairo gtk+ (librsvg-for-system) libusb)) (native-inputs (list pkg-config)) (home-page "https://www.gnu.org/software/inklingreader/") (synopsis "Wacom Inkling sketch format conversion and manipulation") (description "GNU InklingReader is a package to support the Wacom Inkling device, including data conversion to various free formats, basic editing features, and an Inkscape plugin.") (license license:gpl3+))) ce9502f155596a43a9ecef93148b8a8806906f'>gnu/packages/agda.scm
AgeCommit message (Expand)Author
2023-11-14gnu: agda-1lab: Update to 549fdb1c948a975e90e70f871993a4a4239aa280....Josselin Poiret
2023-11-14gnu: agda-cubical: Update to 0.6....Josselin Poiret
2023-11-14gnu: agda-categories: Adapt to agda-stdlib 1.7.3....Josselin Poiret
2023-11-14gnu: agda-stdlib: Update to 1.7.3....Josselin Poiret
2023-11-14gnu: agda: Update to 2.6.4....Josselin Poiret
2023-10-11gnu: agda-cubical: Add source file-name....Efraim Flashner