This package is 4.3 KB.
                It is available at http://archive.ubuntu.com/ubuntu/pool/universe/e/erlang-proper/erlang-proper-dev_1.1+dfsg-1_amd64.deb
.
                
            
                View its full control file here:
                debian/control.
            
QuickCheck-inspired property-based testing tool for Erlang - development files
This package depends on:
                    erlang-proper (>= 1.1+dfsg-1).
                
This package does not recommend any other package.
This package does not suggest any other package.
This package does not conflict with any other package.
erlang-proper-dev 1.1+dfsg-1 is in ubuntu - trusty / universe. This package's architecture is: amd64.
| File | Mime Type | Owner | Mode | Size | 
|---|---|---|---|---|
| 
    
        
    
    
    /usr/
    
        
    
 | root:root | 0o755 | ||
| 
    
        
    
    
    /usr/lib/
    
        
    
 | root:root | 0o755 | ||
| 
    
        
    
    
    /usr/lib/erlang/
    
        
    
 | root:root | 0o755 | ||
| 
    
        
    
    
    /usr/lib/erlang/lib/
    
        
    
 | root:root | 0o755 | ||
| 
    
        
    
    
    /usr/lib/erlang/lib/proper-1.1/
    
        
    
 | root:root | 0o755 | ||
| 
    
        
    
    
    /usr/lib/erlang/lib/proper-1.1/include/
    
        
    
 | root:root | 0o755 | ||
| 
    
    
    /usr/lib/erlang/lib/proper-1.1/include/compile_flags.hrl
    
 | application/x-empty | root:root | 0o644 | 0 bytes | 
| 
    
        
    
    
    /usr/lib/erlang/lib/proper-1.1/include/proper_common.hrl
    
        
    
 | text/plain | root:root | 0o644 | 2.5 KB | 
| 
    
        
    
    
    /usr/lib/erlang/lib/proper-1.1/include/proper.hrl
    
        
    
 | text/plain | root:root | 0o644 | 4.1 KB | 
| 
    
        
    
    
    /usr/lib/erlang/lib/proper-1.1/include/proper_internal.hrl
    
        
    
 | text/plain | root:root | 0o644 | 3.3 KB | 
| 
    
        
    
    
    /usr/lib/erlang/lib/proper-1.1/include/proper_param_adts.hrl
    
        
    
 | text/plain | root:root | 0o644 | 1.7 KB | 
| 
    
        
    
    
    /usr/share/
    
        
    
 | root:root | 0o755 | ||
| 
    
        
    
    
    /usr/share/doc/
    
        
    
 | root:root | 0o755 | ||
| 
    
        
    
    
    /usr/share/doc/erlang-proper-dev/
    
        
    
 | root:root | 0o755 | ||
| 
    
        
    
    
    /usr/share/doc/erlang-proper-dev/changelog.Debian.gz
    
        
    
 | root:root | 0o777 | ||
| 
    
        
    
    
    /usr/share/doc/erlang-proper-dev/copyright
    
        
    
 | text/plain | root:root | 0o644 | 1.3 KB |