package linuxdist    
XDCspec declarations sourced in linuxdist/package.xdc
package linuxdist [1, 0, 0] {
 
}
generated on Tue, 01 Mar 2011 03:11:20 GMT