blob: 783c4ca5fea3bfd9d9c466fa75441538e72537fd (
plain)
1
2
3
4
5
6
|
* See if the -libs are arch-independant (I'm not sure but they should be). If
it's the case change them to Arch: all.
* Move the coqide stuff from /usr/lib/coq/ide to /usr/share/coqide. The variable
lib_ide should be changed to do that.
|
