From e25b491d5e3a6f03527a33c5b74d872b70c0d6f4 Mon Sep 17 00:00:00 2001 From: Spencer King Date: Fri, 25 Oct 2024 23:32:24 +0000 Subject: gnu: Add julia-terminterface. MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit * gnu/packages/julia-xyz.scm (julia-terminterface): New variable. Change-Id: I22ad743410ff9704e3281440120befc857a10660 Signed-off-by: Ludovic Courtès --- gnu/packages/julia-xyz.scm | 24 ++++++++++++++++++++++++ 1 file changed, 24 insertions(+) (limited to 'gnu') diff --git a/gnu/packages/julia-xyz.scm b/gnu/packages/julia-xyz.scm index 5cba99c02e..4443429e30 100644 --- a/gnu/packages/julia-xyz.scm +++ b/gnu/packages/julia-xyz.scm @@ -6490,6 +6490,30 @@ product preserves all dimensions}, and @acronym{boxdot, contracts neighboring dimensions}.") (license license:expat))) +(define-public julia-terminterface + (package + (name "julia-terminterface") + (version "2.0.0") + (source + (origin + (method git-fetch) + (uri (git-reference + (url "https://github.com/JuliaSymbolics/TermInterface.jl") + (commit (string-append "v" version)))) + (file-name (git-file-name name version)) + (sha256 + (base32 "0ish9can05b3pv0kyf035yk1mf1pnkg9l66xb2a8xg9rvcrv5rkb")))) + (build-system julia-build-system) + (home-page "https://github.com/JuliaSymbolics/TermInterface.jl") + (synopsis "Common interface for symbolic terms in Julia") + (description + "This package provides definitions for common functions +that are useful for symbolic expression manipulation in Julia. Its purpose +is to provide a shared interface between various symbolic programming +packages, for example @code{SymbolicUtils.jl}, @code{Symbolics.jl}, +and @code{Metatheory.jl}.") + (license license:expat))) + (define-public julia-testimages (package (name "julia-testimages") -- cgit v1.2.3 ='committer'>committer
AgeCommit message (Expand)Author
2020-11-17gnu: gnu-pw-mgr: Update to 2.7.4....* gnu/packages/gnu-pw-mgr.scm (gnu-pw-mgr): Update to 2.7.4. Tobias Geerinckx-Rice
2020-09-20gnu: gnu-pw-mgr: Update to 2.7....* gnu/packages/gnu-pw-mgr.scm (gnu-pw-mgr): Update to 2.7. [arguments]: Add new phase to work around /dev/tty not being available in the build environment. Efraim Flashner