gnu: Add dune-pdelab.
authorRicardo Wurmus <rekado@elephly.net>
Fri, 8 Feb 2019 18:15:03 +0000 (19:15 +0100)
committerRicardo Wurmus <rekado@elephly.net>
Fri, 8 Feb 2019 18:15:03 +0000 (19:15 +0100)
commit4714b00e7abaf0d284b0b282e5a3632cb95ac1ab
tree346b38b0b15a55ec45ad149cc8c5a670fdc1e7f9
parent85b9371cbea82fd2d89bb393ce93c219b5b1efe9
gnu: Add dune-pdelab.

* gnu/packages/maths.scm (dune-pdelab): New variable.
gnu/packages/maths.scm