Remove emacs-ob-acl2

1 files changed, 0 insertions, 49 deletions

diff --git a/tojo-tokyo/packages/emacs-xyz.scm b/tojo-tokyo/packages/emacs-xyz.scm
deleted file mode 100644
index 82579cc..0000000
--- a/tojo-tokyo/packages/emacs-xyz.scm
+++ /dev/null
@@ -1,49 +0,0 @@
-;;; tojo-tokyo-guix-config --- Guix Channel for git.tojo.tokyo's package
-;;; Copyright © 2022 Masaya Tojo <masaya@tojo.tokyo>
-;;;
-;;; This file is part of tojo-tokyo-guix-config.
-;;;
-;;; tojo-tokyo-guix-config 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.
-;;;
-;;; tojo-tokyo-guix-config 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 extract-green-color.  If not, see
-;;; <http://www.gnu.org/licenses/>.
-
-(define-module (tojo-tokyo packages emacs-xyz)
-  #:use-module (guix packages)
-  #:use-module ((guix licenses) #:prefix license:)
-  #:use-module (guix git-download)
-  #:use-module (guix build-system emacs)
-  #:use-module (gnu packages)
-  #:use-module (gnu packages base)
-  #:use-module (gnu packages emacs-xyz))
-
-(define-public emacs-ob-acl2
-  (package
-   (name "emacs-ob-acl2")
-   (version "v0.1.0")
-   (source
-    (origin
-     (method git-fetch)
-     (uri (git-reference
-           (url "https://git.tojo.tokyo/ob-acl2.git")
-           (commit version)))
-     (file-name (git-file-name name version))
-     (sha256
-      (base32 "125ihxgwha6jfd4qv5rlgbbrykjmjl8h3qvazqxps25ymyw2zm5s"))))
-   (build-system emacs-build-system)
-   (home-page "https://git.tojo.tokyo/ob-acl2.git/about/")
-   (synopsis "Org-babel functions for ACL2")
-   (description
-    "This is implemented by pouring expressions into a *shell* buffer,
-which is a standard ACL2 execution environment.
-Must run acl2 with *shell* before using it.")
-   (license license:gpl3+)))