automatic update

This commit is contained in:
Nur a bot 2020-06-16 03:01:17 +00:00
parent e143781b47
commit 517e6aea94
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": "6a68e32fb00ad7449562d35a2edb61c74ef69da4",
"sha256": "0z6npg0rgj55z5hpr4abxdn02msfjrqml4nvpvj37hjcyd02m0hw",
"rev": "adfcf61e024d70c4dd83d9914bdc9ef11d987710",
"sha256": "1idzaqcp3rwwi2zvp5xl8b8cdsxgq40rvxkvdxasr8q9cab2l6j7",
"url": "https://git.sr.ht/~aasg/nixexprs"
},
"angr": {