>I'm packaging acl2, which can take several hours to compile on a PPro >200. Would it be reasonable to exclude certain architectures as too >slow? (acl2 is a theorem prover.)
No. The porters can make up their own minds about whether it's worth compiling for their architecture. We already have packages like XFree86 that take over a day to compile on slower platforms. p.
