agda-soas: remove package

agda-stdlib-1.7: remove package

2 files changed, 3 insertions, 61 deletions

diff --git a/yellowsquid/packages/agda.scm b/yellowsquid/packages/agda.scm
index a3c73d7..80d5c02 100644
--- a/yellowsquid/packages/agda.scm
+++ b/yellowsquid/packages/agda.scm
@@ -8,10 +8,10 @@
   #:use-module (yellowsquid build-system agda)
   #:use-module (yellowsquid packages))
 
-(define-public agda-stdlib-1.7
+(define-public agda-stdlib-1.7.1
   (package
     (name "agda-stdlib")
-    (version "1.7")
+    (version "1.7.1")
     (home-page "https://github.com/agda/agda-stdlib")
     (source (origin
               (method git-fetch)
@@ -20,7 +20,7 @@
               (file-name (git-file-name name version))
               (sha256
                (base32
-                "14h3jprm6924g9576v25axn9v6xnip354hvpzlcqsc5qqyj7zzjs"))))
+                "0khl12jvknsvjsq3l5cbp2b5qlw983qbymi1dcgfz9z0b92si3r0"))))
     (build-system agda-build-system)
     (native-inputs (list ghc ghc-filemanip))
     (arguments
@@ -109,21 +109,6 @@ write efficient code, ease of proof is prioritised over type-checking and
 normalisation performance.")
     (license license:expat)))
 
-(define-public agda-stdlib-1.7.1
-  (package
-    (inherit agda-stdlib-1.7)
-    (name "agda-stdlib")
-    (version "1.7.1")
-    (home-page "https://github.com/agda/agda-stdlib")
-    (source (origin
-              (method git-fetch)
-              (uri (git-reference (url home-page)
-                                  (commit (string-append "v" version))))
-              (file-name (git-file-name name version))
-              (sha256
-               (base32
-                "0khl12jvknsvjsq3l5cbp2b5qlw983qbymi1dcgfz9z0b92si3r0"))))))
-
 (define-public agda-stdlib agda-stdlib-1.7.1)
 
 (define-public agda-categories
@@ -179,33 +164,3 @@ backwards compatibility is not assured.")
     (synopsis "Standard library for Cubical Agda")
     (description "A standard library for Cubical Agda. ")
     (license license:expat)))
-
-(define-public agda-soas
-  (package
-    (name "agda-soas")
-    (version "1.0.0")
-    (home-page "https://github.com/DimaSamoz/agda-soas")
-    (source
-     (origin
-              (method git-fetch)
-              (uri (git-reference (url home-page)
-                                  (commit (string-append "v" version))))
-              (patches
-               (search-patches "agda-soas-agda-lib.patch"))
-              (file-name (git-file-name name version))
-              (sha256
-               (base32
-                "14nfh7qaw4q5n6fq0vzw1yhrw0psywzb7lngmdafhajfrhifbipx"))))
-    (inputs (list agda-stdlib-1.7 agda-categories))
-    (build-system agda-build-system)
-    (arguments
-     '(#:readme "Everything.agda"
-       #:phases
-       (modify-phases %standard-phases
-         (add-before 'generate-libraries 'move-src
-           (lambda* (#:key outputs #:allow-other-keys)
-             (mkdir "src")
-             (rename-file "SOAS" "src/SOAS"))))))
-    (synopsis "Framework for working with second-order syntax")
-    (description "An Agda library for working with second-order syntax.")
-    (license license:expat)))
diff --git a/yellowsquid/packages/patches/agda-soas-agda-lib.patch b/yellowsquid/packages/patches/agda-soas-agda-lib.patch
deleted file mode 100644
index 2182e0a..0000000
--- a/yellowsquid/packages/patches/agda-soas-agda-lib.patch
+++ /dev/null
@@ -1,13 +0,0 @@
---- a/soas.agda-lib
-+++ b/soas.agda-lib
-@@ -1,5 +1,3 @@
- name: soas
-+depend: standard-library agda-categories
-+include: ./src
--include: .
--  ./agda-categories/src
--  ./agda-stdlib/src
--  ./out
--- 
-2.38.1
-