File: cryptominisat.wrap

package info (click to toggle)
bitwuzla 0.8.2-2
  • links: PTS, VCS
  • area: main
  • in suites: sid
  • size: 43,292 kB
  • sloc: cpp: 94,870; python: 3,254; ansic: 1,613; sh: 50; makefile: 10
file content (11 lines) | stat: -rw-r--r-- 317 bytes parent folder | download | duplicates (2) 
1
2
3
4
5
6
7
8
9
10
11
 
[wrap-file]
directory = cryptominisat-5.11.21

source_url = https://github.com/msoos/cryptominisat/archive/5.11.21.tar.gz
source_filename = cryptominisat-5.11.21.tar.gz
source_hash = 288fd53d801909af797c72023361a75af3229d1806dbc87a0fcda18f5e03763b

patch_directory = cryptominisat

[provide]
cryptominisat5 = cms_dep