Skip to content

Commit

Permalink
Update dependency: haskell-backend/src/main/native/haskell-backend (#…
Browse files Browse the repository at this point in the history 
…2398)

* haskell-backend/src/main/native/haskell-backend: 37ad90f61 - Switching out kprove to kprovex (#2856)

* haskell-backend/src/main/native/haskell-backend: ec04f9445 - Bump follow-redirects from 1.13.3 to 1.14.7 in /web (#2958)

* haskell-backend/src/main/native/haskell-backend: 21f5e381c - Update dependency: deps/k_release (#2957)

* haskell-backend/src/main/native/haskell-backend: ff4adf522 - Update dependency: deps/k_release (#2959)

* haskell-backend/src/main/native/haskell-backend: d776afb5a - Add NonExecutable attribute (#2945)
  • Loading branch information
@rv-jenkins
rv-jenkins authored Jan 25, 2022
1 parent d3f5f62 commit 7ee97d7
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion haskell-backend/src/main/native/haskell-backend
Submodule haskell-backend updated from ea8855 to d776af

0 comments on commit 7ee97d7

Please sign in to comment.