diff options
| author | Andrew Cady <d@jerkface.net> | 2019-07-16 11:42:07 -0400 |
|---|---|---|
| committer | Andrew Cady <d@jerkface.net> | 2019-07-16 15:33:57 -0400 |
| commit | 2c83df76a7eb045fa97ffd6ebee8910db6861f7a (patch) | |
| tree | 0ba7b4acd154d94cfe2ef819c3e5ecaabaa521cd | |
| parent | 46bbdd047e7dfba3fe95e8b8f5c9e729d4268862 (diff) | |
bump openpgp-util
| -rw-r--r-- | stack.yaml | 2 |
1 files changed, 1 insertions, 1 deletions
| @@ -4,7 +4,7 @@ packages: | |||
| 4 | # - ../openpgp-util | 4 | # - ../openpgp-util |
| 5 | - location: | 5 | - location: |
| 6 | git: d@cryptonomic.net:public_git/openpgp-util.git | 6 | git: d@cryptonomic.net:public_git/openpgp-util.git |
| 7 | commit: 72cbb1771ee7a36726eda569ada2a98e00066b86 | 7 | commit: bb3a9e181638fa881e2bcd8425f10cfb365533f5 |
| 8 | extra-dep: true | 8 | extra-dep: true |
| 9 | 9 | ||
| 10 | extra-deps: | 10 | extra-deps: |