[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[bug#57540] [PATCH 2/6] gnu: Add ocaml-ansiterminal.
From: |
Garek Dyszel |
Subject: |
[bug#57540] [PATCH 2/6] gnu: Add ocaml-ansiterminal. |
Date: |
Fri, 02 Sep 2022 11:22:03 -0400 |
* gnu/packages/ocaml.scm (ocaml-ansiterminal)
---
gnu/packages/ocaml.scm | 31 +++++++++++++++++++++++++++++++
1 file changed, 31 insertions(+)
diff --git a/gnu/packages/ocaml.scm b/gnu/packages/ocaml.scm
index c8ffef5..43c19c0 100644
--- a/gnu/packages/ocaml.scm
+++ b/gnu/packages/ocaml.scm
@@ -8878,3 +8878,34 @@ (define-public ocaml-atd
good fit with a variety of data formats.")
;; Modified BSD license
(license (license:non-copyleft "LICENSE.md"))))
+
+(define-public ocaml-ansiterminal
+ (package
+ (name "ocaml-ansiterminal")
+ (version "0.8.5")
+ (source (origin
+ (method git-fetch)
+ (uri (git-reference
+ (url "https://github.com/Chris00/ANSITerminal")
+ (commit version)
+ (recursive? #t)))
+ (file-name (git-file-name name version))
+ (sha256
+ (base32
+
"052qnc23vmxp90yympjz9q6lhqw98gs1yvb3r15kcbi1j678l51h"))))
+ (build-system dune-build-system)
+ (arguments
+ `( ;Error: Don't know about directory test specified on the
+ ;; command line!
+ #:tests? #f))
+ (home-page "https://github.com/Chris00/ANSITerminal")
+ (synopsis
+ "Basic control of ANSI compliant terminals and the windows shell")
+ (description
+ "ANSITerminal is a module allowing to use the colors and cursor
+movements on ANSI terminals.")
+ ;; Variant of the GPL3 which permits
+ ;; static and dynamic linking when producing binary files.
+ ;; In other words, it allows one to link to the library
+ ;; when compiling nonfree software.
+ (license (license:non-copyleft "LICENSE"))))
--
2.37.2
- [bug#57540] [PATCH] Add ocaml-elpi (a dependency of coq-mathcomp-analysis), Garek Dyszel, 2022/09/02
- [bug#57540] [PATCH 1/6] gnu: Add ocaml-atd., Garek Dyszel, 2022/09/02
- [bug#57540] [PATCH 2/6] gnu: Add ocaml-ansiterminal.,
Garek Dyszel <=
- [bug#57540] [PATCH 4/6] gnu: Add coq-mathcomp-hierarchy-builder., Garek Dyszel, 2022/09/02
- [bug#57540] [PATCH 3/6] gnu: Add coq-elpi., Garek Dyszel, 2022/09/02
- [bug#57540] [PATCH 5/6] gnu: Add coq-mathcomp-finmap., Garek Dyszel, 2022/09/02
- [bug#57540] [PATCH 6/6] gnu: Add coq-mathcomp-bigenough and coq-mathcomp-analysis., Garek Dyszel, 2022/09/02
- [bug#57540] [PATCH] Add ocaml-elpi (a dependency of coq-mathcomp-analysis), Julien Lepiller, 2022/09/03
- [bug#57540] [RFC PATCH v2 01/19] gnu: Add ocaml-elpi., Garek Dyszel, 2022/09/07