update angr and dependencies

Julien LepillerSun Jul 30 23:07:49+0200 2017

1fe0d57

update angr and dependencies

more/packages/binary.scm

205205 
(define-public python2-archinfo
206206 
  (package
207207 
    (name "python2-archinfo")
208-
    (version "6.7.4.12")
208+
    (version "6.7.7.27")
209209 
    (source (origin
210210 
              (method url-fetch)
211211 
              (uri (pypi-uri "archinfo" version))
212212 
              (sha256
213213 
               (base32
214-
                "1kfc9nk73i5rr3xz8mv00cp76p7dc62h9pd8hvnda414jhx7n0pb"))))
214+
                "1amcavk8x9xch18sfzbla5sgas955clj06g6hx20n47q87bw22vz"))))
215215 
    (build-system python-build-system)
216216 
    (arguments
217217 
     `(#:python ,python-2))

…

225225 
(define-public angr-vex
226226 
  (package
227227 
    (name "angr-vex")
228-
    (version "1")
228+
    (version "20170130")
229229 
    (source (origin
230230 
              (method git-fetch)
231231 
              (uri (git-reference
232232 
                    (url "https://github.com/angr/vex.git")
233-
                    (commit "3a620e43ecc71cb9e5470995a45bbce4a600293f")))
233+
                    (commit "fc6a0b1187cd614e97e204046b4d4be482e7ab3f")))
234234 
              (sha256
235235 
               (base32
236-
                "1qxpwi9961140dnys1iywm043nbm13qg2vw9xi1bjjdh80hbnfw4"))
236+
                "1qfv5j2hpvh5mv8mschrcd5sga4h910iggppr2g8jr6k9r3x725i"))
237237 
              (file-name (string-append name "-" version))))
238238 
    (build-system gnu-build-system)
239239 
    (arguments

…

264264 
(define-public python2-pyvex
265265 
  (package
266266 
    (name "python2-pyvex")
267-
    (version "6.7.4.12")
267+
    (version "6.7.7.27")
268268 
    (source (origin
269269 
              (method url-fetch)
270270 
              (uri (pypi-uri "pyvex" version))
271271 
              (sha256
272272 
               (base32
273-
                "1x57aq96ka7gz6qcj9zqwdcylfks4q3iiykismyk1g0vp68qlwv9"))))
273+
                "1bqag7hb1ysrq9hb31cn8l7b8ad91rfw52bm3kh9gbma8rmxi0hl"))))
274274 
    (build-system python-build-system)
275275 
    (inputs `(("angr-vex" ,angr-vex)))
276276 
    (propagated-inputs

…

301301 
(define-public unicorn
302302 
  (package
303303 
    (name "unicorn")
304-
    (version "1.0-rc3")
304+
    (version "1.0.1")
305305 
    (source (origin
306306 
              (method url-fetch)
307307 
              (uri (string-append "https://github.com/unicorn-engine/unicorn/archive/"

…

309309 
              (file-name (string-append name "-" version ".tar.gz"))
310310 
              (sha256
311311 
               (base32
312-
                "18sf8vbmf08ss27qhiv7la492k39q0ci8kpjx836bv7rq3cbgb2q"))))
312+
                "0z01apwmvhvdldm372ww9pjfn45awkw3m90c0h4v0nj0ihmlysis"))))
313313 
    (build-system gnu-build-system)
314314 
    (arguments
315315 
     `(#:phases

…

337337 
     `(("unicorn" ,unicorn)))
338338 
    (build-system python-build-system)
339339 
    (arguments
340-
     `(#:tests? #f
341-
       #:phases (modify-phases %standard-phases
340+
     `(#:phases (modify-phases %standard-phases
342341 
                  (add-after 'unpack 'chdir-and-fix-setup-py
343342 
                    (lambda _
344343 
                      (chdir "bindings/python")

…

360359 
(define-public python2-simuvex
361360 
  (package
362361 
    (name "python2-simuvex")
363-
    (version "6.7.4.12")
362+
    (version "6.7.7.27")
364363 
    (source (origin
365364 
              (method url-fetch)
366365 
              (uri (pypi-uri "simuvex" version))
367366 
              (sha256
368367 
               (base32
369-
                "03rqdk7f1ynm6p50rbl4abq6hgnfvb7qd5k26m7cyxjii09waa2x"))
368+
                "1awc078861x7nj44g3x1p3mjdc3fhz85gqgx7rfk6918s6nbx848"))
370369 
              (modules '((guix build utils)))
371370 
              (snippet
372371 
               '(substitute* "setup.py"

…

398397 
(define-public python2-cle
399398 
  (package
400399 
    (name "python2-cle")
401-
    (version "6.7.4.12")
400+
    (version "6.7.7.27")
402401 
    (source (origin
403402 
              (method url-fetch)
404403 
              (uri (pypi-uri "cle" version))
405404 
              (sha256
406405 
               (base32
407-
                "1fx21jx2nmc5lbz7hgpz4p7ccvzrnrcnf0wj2fbqdyjb9s0w2sfw"))
406+
                "0x4cyl1qkhwj18860nhxdylzaxq45264jv4449cl0vl6y23lbk8v"))
408407 
              (modules '((guix build utils)))
409408 
              (snippet
410409 
               '(substitute* "setup.py"

…

429428 
(define-public python2-angr
430429 
  (package
431430 
    (name "python2-angr")
432-
    (version "6.7.4.12")
431+
    (version "6.7.7.27")
433432 
    (source (origin
434433 
              (method url-fetch)
435434 
              (uri (pypi-uri "angr" version))
436435 
              (sha256
437436 
               (base32
438-
                "0cqqakh2drb593wcbdcq0vq3pcf1ckxwy486cg378667lrb4042i"))))
437+
                "1k9vr9kds956jqyv126fc57ygly400jhhga98ms8clr4m3k3xlzn"))))
439438 
    (build-system python-build-system)
440439 
    (arguments
441440 
     `(#:python ,python-2))

more/packages/smt.scm

5858 
(define-public python2-claripy
5959 
  (package
6060 
    (name "python2-claripy")
61-
    (version "6.7.4.12")
61+
    (version "6.7.7.27")
6262 
    (source (origin
6363 
              (method url-fetch)
6464 
              (uri (pypi-uri "claripy" version))
6565 
              (sha256
6666 
               (base32
67-
                "0w6f2jvqajmw1mmdbdzvvs71fsv62z73w0q6jz3sap7mhlwj3vrd"))
67+
                "1jrnww0lpfi65g83pbdkig951r4jrhri67dn4n67viz897q73736"))
6868 
              (modules '((guix build utils)))
6969 
              (snippet
7070 
               `(substitute* "setup.py"

more/packages/video.scm

6363 
    `(("ffmpeg" ,ffmpeg)))
6464 
   (native-inputs
6565 
    `(("pkg-config" ,pkg-config)))
66-
   (synopsis "Cross-plateform wrapper around ffmpeg/libav")
66+
   (synopsis "Cross-platform wrapper around ffmpeg/libav")
6767 
   (description
6868 
     "FFMpegSource is a wrapper library around ffmpeg/libav that allows
69-
programmers to access a standard API to open and decompress media files")
69+
programmers to access a standard API to open and decompress media files.")
7070 
   (license license:gpl2+))); inherits from ffmpeg
7171 
  ;; sources are distributed under a different license that the binary.
7272 
  ;; see https://github.com/FFMS/ffms2/blob/master/COPYING

…

110110 
       ("pkg-config" ,pkg-config)))
111111 
    (home-page "http://www.aegisub.org/")
112112 
    (synopsis "Subtitle engine")
113-
    (description "Aegisub helps translators create subtitles for video")
113+
    (description
114+
      "Aegisub is a tool for creating and modifying subtitles.  Aegisub makes
115+
it quick and easy to time subtitles to audio, and features many powerful
116+
tools for styling them, including a built-in real-time video preview.")
114117 
    (license (list license:bsd-3 ; the package is licensed under the bsd-3, except
115118 
                   license:mpl1.1 ; for vendor/universalchardet under the mpl1.1
116119 
                   license:expat)))) ; and src/gl that is under a license similar