package linuxdist    
XDCspec declarations sourced in linuxdist/package.xdc
package linuxdist [1, 0, 0] {
 
}
generated on Tue, 02 Nov 2010 01:37:40 GMT