diff options
| author |   Sergei Trofimovich <slyfox@gentoo.org> | 2016-04-03 15:37:25 +0100 |
|---|---|---|
| committer | Sergei Trofimovich <slyfox@gentoo.org> | 2016-04-03 15:39:25 +0100 |
| commit | 4e2efc914fdca78085ff8cd8af4283bcc2efcff3 (patch) | |
| tree | 0c4912248313252aef6200108a74d518ee75df16 /sci-mathematics/nusmv | |
| parent | sys-kernel/git-sources: Automated version bump to 4.6_rc2 (diff) | |
| download | gentoo-4e2efc914fdca78085ff8cd8af4283bcc2efcff3.tar.gz gentoo-4e2efc914fdca78085ff8cd8af4283bcc2efcff3.tar.bz2 gentoo-4e2efc914fdca78085ff8cd8af4283bcc2efcff3.zip | |
sci-mathematics/agda: drop old
Package-Manager: portage-2.2.28
Diffstat (limited to 'sci-mathematics/nusmv')
0 files changed, 0 insertions, 0 deletions