automatic update

This commit is contained in:
Nur a bot 2020-06-29 12:09:50 +00:00
parent 45345b0547
commit f78ee1ffd1
No known key found for this signature in database
GPG key ID: F2CCB0F4FACE52F8

View file

@ -11,8 +11,8 @@
"url": "https://gricad-gitlab.univ-grenoble-alpes.fr/Projets-INFO4/18-19/19/code"
},
"aasg": {
"rev": "ea6c36a7d11b4e73353b59b784280e370a697dad",
"sha256": "11diimx0309h23733xq2032bsn0jhd3g8jjbp2ha4vyqfzbijnq3",
"rev": "21359b710a01e95c581b984813dbfb91d9385981",
"sha256": "15r8m8w6ffyiw0hfa97ic7pmx2hsdmrsjr5kj3yi7wiamwmg025p",
"url": "https://git.sr.ht/~aasg/nixexprs"
},
"angr": {