The NetBSD Project

CVS log for pkgsrc/math/py-claripy/distinfo

[BACK] Up to [cvs.NetBSD.org] / pkgsrc / math / py-claripy

Request diff between arbitrary revisions


Default branch: MAIN


Revision 1.2 / (download) - annotate - [select for diffs], Thu Jan 9 14:02:32 2020 UTC (6 months ago) by wiz
Branch: MAIN
CVS Tags: pkgsrc-2020Q2-base, pkgsrc-2020Q2, pkgsrc-2020Q1-base, pkgsrc-2020Q1, HEAD
Changes since 1.1: +5 -5 lines
Diff to previous 1.1 (colored)

py-angr: update py-angr and dependencies (all from the angr project) to 8.20.1.7

This now only supports python 3.x.

Other changes not documented.

Revision 1.1 / (download) - annotate - [select for diffs], Thu Mar 15 02:24:18 2018 UTC (2 years, 3 months ago) by khorben
Branch: MAIN
CVS Tags: pkgsrc-2019Q4-base, pkgsrc-2019Q4, pkgsrc-2019Q3-base, pkgsrc-2019Q3, pkgsrc-2019Q2-base, pkgsrc-2019Q2, pkgsrc-2019Q1-base, pkgsrc-2019Q1, pkgsrc-2018Q4-base, pkgsrc-2018Q4, pkgsrc-2018Q3-base, pkgsrc-2018Q3, pkgsrc-2018Q2-base, pkgsrc-2018Q2, pkgsrc-2018Q1-base, pkgsrc-2018Q1

Import py-claripy version 7.8.2.21 from wip

Claripy is an abstracted constraint-solving wrapper.
It is maintained by the angr organization on GitHub.

General usage is similar to z3.

This form allows you to request diff's between any two revisions of a file. You may select a symbolic revision name using the selection box or you may type in a numeric name using the type-in text box.




CVSweb <webmaster@jp.NetBSD.org>