 Dan Frumin
|
ec23bae682
gnu: Add coq-equations.
|
%!s(int64=6) %!d(string=hai) anos |
 Tobias Geerinckx-Rice
|
aaa2add871
gnu: coq-mathcomp: Don't use unstable tarball.
|
%!s(int64=6) %!d(string=hai) anos |
|
Tobias Geerinckx-Rice
|
8b9b2210dc
gnu: coq: Don't use unstable tarball.
|
%!s(int64=6) %!d(string=hai) anos |
|
Dan Frumin
|
7d60df330a
gnu: Add coq-autosubst
|
%!s(int64=6) %!d(string=hai) anos |
 Ricardo Wurmus
|
7492af9be7
gnu: coq-interval: Use INVOKE.
|
%!s(int64=6) %!d(string=hai) anos |
|
Ricardo Wurmus
|
e09e83880f
gnu: coq-coquelicot: Use INVOKE.
|
%!s(int64=6) %!d(string=hai) anos |
|
Ricardo Wurmus
|
492ee4f83b
gnu: coq-mathcomp: Use INVOKE.
|
%!s(int64=6) %!d(string=hai) anos |
|
Ricardo Wurmus
|
ace73a93cd
gnu: coq-gappa: Use INVOKE.
|
%!s(int64=6) %!d(string=hai) anos |
|
Ricardo Wurmus
|
a48d6acc23
gnu: proof-general: Use INVOKE.
|
%!s(int64=6) %!d(string=hai) anos |
 Julien Lepiller
|
33af92dd99
gnu: Move coq packages from ocaml to coq.
|
%!s(int64=6) %!d(string=hai) anos |
