]>
author | Jakub Bogusz <qboosh@pld-linux.org> | |
Mon, 27 Jul 2015 19:17:01 +0000 (21:17 +0200) | ||
committer | Jakub Bogusz <qboosh@pld-linux.org> | |
Mon, 27 Jul 2015 19:17:01 +0000 (21:17 +0200) | ||
commit | 83437006a79c2edf5f50d392497a4a618a1334eb | |
tree | 9e3fe3b888cac14fcccedab16a92df43ee8d679a | tree | snapshot |
parent | d094e2ce386fd5d74019b9a7bb48802bb88a155f | commit | diff |
coq.spec | diff | blob | blame | history |