New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
rankwidth: init at 0.7 #38802
rankwidth: init at 0.7 #38802
Conversation
59666da
to
e02768c
Compare
]; | ||
|
||
meta = with stdenv.lib; { | ||
homepage = http://pholia.tdi.informatik.uni-frankfurt.de/~philipp/software/rw.shtml; |
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
down
description = "Calculates rank-width and rank-decompositions"; | ||
license = with licenses; [ gpl2Plus ]; | ||
maintainers = with maintainers; [ timokau ]; | ||
platforms = platforms.all; |
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
tested?
e02768c
to
9e0b22b
Compare
Their Makefile has a |
I agree, added. |
c422548
to
0c9aaf0
Compare
@GrahamcOfBorg build rankwidth |
Success on x86_64-linux (full log) Attempted: rankwidth Partial log (click to expand)
|
Success on aarch64-linux (full log) Attempted: rankwidth Partial log (click to expand)
|
Motivation for this change
Package rankwidth.
Things done
build-use-sandbox
innix.conf
on non-NixOS)nix-shell -p nox --run "nox-review wip"
./result/bin/
)