blob: d2e819e6e71db53817673eeb72eea4e43c2fb68a (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
|
(define-module (kbg packages profiles science)
#:use-module (gnu packages coq)
#:use-module (gnu packages graphviz)
#:use-module (gnu packages maths)
#:use-module (gnu packages parallel)
#:use-module (kbg packages coq-xyz)
#:use-module (kbg packages gwl)
#:export (%kbg-science-packages))
(define %kbg-science-packages
(list
coq
coq-math-classes
gnuplot
graphviz
gwl
octave
parallel
z3))
|