File: cadical.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-- 297 bytes parent folder | download | duplicates (2) 
1
2
3
4
5
6
7
8
9
10
11
 
[wrap-file]
directory = cadical-rel-2.1.2

source_url = https://github.com/arminbiere/cadical/archive/rel-2.1.2.tar.gz
source_filename = cadical-2.1.2.tar.gz
source_hash = 292c2bb8d712d6d05fce3d3df63b922b8fa45e03974a79f7bae5bf68c284f131

patch_directory = cadical

[provide]
cadical = cadical_dep