9 stdenv.mkDerivation rec {
11 pname = "libbraiding";
13 src = fetchFromGitHub {
14 owner = "miguelmarco";
16 # version 1.3.1 contains a typo in configure.ac, fixed in the next commit.
17 # TODO: remove if on upgrade
18 rev = if version == "1.3.1" then "b174832026c2412baec83277c461e4df71d8525c" else version;
19 hash = "sha256-ar/EiaMZuQRa1lr0sZPLRuk5K00j63TqNf0q0iuiKjw=";
27 # no tests included for now (2018-08-05), but can't hurt to activate
31 homepage = "https://github.com/miguelmarco/libbraiding/";
32 description = "C++ library for computations on braid groups";
34 A library to compute several properties of braids, including centralizer and conjugacy check.
36 license = licenses.gpl3;
37 maintainers = teams.sage.members;
38 platforms = platforms.all;