[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[gnunet-scheme] 314/324: guix: Don't include a copy of guile-quickcheck.
From: |
gnunet |
Subject: |
[gnunet-scheme] 314/324: guix: Don't include a copy of guile-quickcheck. |
Date: |
Tue, 21 Sep 2021 13:25:54 +0200 |
This is an automated email from the git hooks/post-receive script.
maxime-devos pushed a commit to branch master
in repository gnunet-scheme.
commit b3b351b94206d9afc3bcb669175c9587de0c53f2
Author: Maxime Devos <maximedevos@telenet.be>
AuthorDate: Thu Sep 16 19:40:08 2021 +0200
guix: Don't include a copy of guile-quickcheck.
It is included guix now.
* guix.scm (guile-quickcheck): Remove.
---
guix.scm | 29 -----------------------------
1 file changed, 29 deletions(-)
diff --git a/guix.scm b/guix.scm
index a614481..4aae21b 100644
--- a/guix.scm
+++ b/guix.scm
@@ -1,7 +1,5 @@
;;; GNU Guix --- Functional package management for GNU
;;; Copyright © 2021 Maxime Devos <maximedevos@telenet.be>
-;;; Copyright © 2021 Timothy Sample <samplet@ngyro.com>
-;;; ^ definition of guile-quickcheck
;;;
;;; This file is part of GNU Guix.
;;;
@@ -34,33 +32,6 @@
(guix build-system gnu)
((guix licenses) #:prefix license:))
-(define-public guile-quickcheck
- (package
- (name "guile-quickcheck")
- (version "0.1.0")
- (source (origin
- (method url-fetch)
- (uri (string-append "https://files.ngyro.com/"
- "guile-quickcheck/guile-quickcheck-"
- version ".tar.gz"))
- (sha256
- (base32
- "03mwi1l3354x52nar0zwhcm0x29yai9xjln4p4gbchwvx5dsr6fb"))))
- (build-system gnu-build-system)
- (native-inputs
- `(("pkg-config" ,pkg-config)
- ("guile" ,guile-3.0)))
- (inputs
- `(("guile" ,guile-3.0)))
- (home-page "https://ngyro.com/software/guile-quickcheck.html")
- (synopsis "Randomized property-based testing for Guile")
- (description "This Guile library provides tools for randomized,
-property-based testing. It follows closely the QuickCheck library
-written in Haskell. You can use it to define a property (a predicate
-with specifications for its inputs) and test it by generating many
-random inputs and seeing if it holds.")
- (license license:gpl3+)))
-
(define guile-3.0/fixed
(package
(inherit guile-3.0-latest)
--
To stop receiving notification emails like this one, please contact
gnunet@gnunet.org.
- [gnunet-scheme] 295/324: tests/network-size: Remove resolved XXX., (continued)
- [gnunet-scheme] 295/324: tests/network-size: Remove resolved XXX., gnunet, 2021/09/21
- [gnunet-scheme] 304/324: doc: Don't suggest Scheme-GNUnet has any applications., gnunet, 2021/09/21
- [gnunet-scheme] 306/324: README.org: Really point to doc/scheme-gnunet.tm., gnunet, 2021/09/21
- [gnunet-scheme] 308/324: doc: Remove TODO about mailing lists., gnunet, 2021/09/21
- [gnunet-scheme] 293/324: README.org: Remove things documented in the manual., gnunet, 2021/09/21
- [gnunet-scheme] 301/324: doc: Note a custom guile-fibers and guile is required., gnunet, 2021/09/21
- [gnunet-scheme] 300/324: doc: Move contact information to .tm documentation (and rewrite)., gnunet, 2021/09/21
- [gnunet-scheme] 296/324: RAEDME.org: Remove wishlist., gnunet, 2021/09/21
- [gnunet-scheme] 294/324: doc: Document tests in doc/scheme-gnunet.tm., gnunet, 2021/09/21
- [gnunet-scheme] 312/324: configure.ac: Set bug reporting address., gnunet, 2021/09/21
- [gnunet-scheme] 314/324: guix: Don't include a copy of guile-quickcheck.,
gnunet <=
- [gnunet-scheme] 316/324: doc: Split into pages., gnunet, 2021/09/21
- [gnunet-scheme] 290/324: doc: Document how to authenticate new source code., gnunet, 2021/09/21
- [gnunet-scheme] 299/324: README.org: Remove ‘Conventions’., gnunet, 2021/09/21
- [gnunet-scheme] 305/324: README.org: Remove LICENSE section., gnunet, 2021/09/21
- [gnunet-scheme] 302/324: doc: Fix double dash typography., gnunet, 2021/09/21
- [gnunet-scheme] 313/324: configure.ac: Make guile a hard requirement., gnunet, 2021/09/21
- [gnunet-scheme] 303/324: doc: Document the license summarily., gnunet, 2021/09/21
- [gnunet-scheme] 309/324: mq-impl/stream: Remove resolved TODO., gnunet, 2021/09/21
- [gnunet-scheme] 311/324: configure.ac: Set version number for release., gnunet, 2021/09/21
- [gnunet-scheme] 315/324: doc: Include a table of contents., gnunet, 2021/09/21