profiles: Delete duplicate manifest entries in packages->manifest.
authorLeo Prikler <leo.prikler@student.tugraz.at>
Sat, 5 Dec 2020 16:20:10 +0000 (17:20 +0100)
committerLudovic Courtès <ludo@gnu.org>
Mon, 7 Dec 2020 11:48:26 +0000 (12:48 +0100)
commit07340cbebc1ef97c0196c631144775f5ce61d4f6
treed20429d4b6b491a6f5df24eec6cc036d17d681bc
parentf5d952c5f50cd9c6005cdf47dda5bccb6e428119
profiles: Delete duplicate manifest entries in packages->manifest.

* gnu/profiles.scm (packages->manifest): Delete duplicate entries.
* tests/profiles.scm ("packages->manifest, no duplicates"): New test.

Signed-off-by: Ludovic Courtès <ludo@gnu.org>
guix/profiles.scm
tests/profiles.scm