diff options
| author | David Craven <david@craven.ch> | 2017-01-02 18:05:21 +0100 |
|---|---|---|
| committer | David Craven <david@craven.ch> | 2017-01-04 12:11:14 +0100 |
| commit | 5a16d828b3bd0c458f6604fc4e0d7876377ff12c (patch) | |
| tree | e58bfe540a537c838eae3abf8c5b281e00e08844 /gnu/packages/aidc.scm | |
| parent | 4e17fff386070ca39960da7a4b8d2445ccc874ba (diff) | |
| download | patches-5a16d828b3bd0c458f6604fc4e0d7876377ff12c.tar patches-5a16d828b3bd0c458f6604fc4e0d7876377ff12c.tar.gz | |
gnu: Add idris-bifunctors.
* gnu/packages/idris.scm (idris-bifunctors): New variable.
Diffstat (limited to 'gnu/packages/aidc.scm')
0 files changed, 0 insertions, 0 deletions