Commit bf72457

authored and

committed

build/pkgs/gap: require "gap" in addition to libgap-dev on debian

With only libgap-dev, we are missing the "gap" executable.

1 parent 0102206 commit bf72457Copy full SHA for bf72457

1 file changed

+1

-0

lines changed

build/pkgs/gap/distros
- debian.txt

1 file changed

+1

-0

lines changed

`‎build/pkgs/gap/distros/debian.txt`

Original file line number	Diff line number	Diff line change
`@@ -1 +1,2 @@`
	`1`	`+gap`
`1`	`2`	`libgap-dev`

Comments

(0)