(use-modules (gnu packages agda)
             (guix build-system gnu)
             (guix gexp)
             (guix git-download)
             ((guix licenses) #:prefix license:)
             (guix packages)
             (yellowsquid packages agda)
             (yellowsquid build-system agda))
(define %source-dir (dirname (current-filename)))

(define-public agda-stdlib-2.0
  (package
    (inherit agda-stdlib-1.7)
    (name "agda-stdlib")
    (version "2.0")
    (home-page "https://github.com/agda/agda-stdlib")
    (source (origin
              (method git-fetch)
              (uri (git-reference (url home-page)
                                  (commit "6e79234dcd47b7ca1d232b16c9270c33ff42fb84")))
              (file-name (git-file-name name version))
              (sha256
               (base32
                "0n1xksqz0d2vxd4l45mxkab2j9hz9g291zgkjl76h5cn0p9wylk3"))))))

(packages->manifest
 (list agda
       agda-stdlib-2.0))