package linuxdist    
XDCspec declarations sourced in linuxdist/package.xdc
package linuxdist [1, 0, 0] {
 
}
generated on Fri, 29 Oct 2010 00:26:46 GMT