Activity for AWS Encryption SDK for Dafnyhttps://sourceforge.net/mirror/aws-encrypt-sdk-dafny/activity/Recent activity for AWS Encryption SDK for DafnyenFri, 27 Mar 2026 00:23:04 -0000AWS Encryption SDK for Dafny released /v5.0.0/README.mdhttps://sourceforge.net/projects/aws-encrypt-sdk-dafny.mirror/files/v5.0.0/README.md/downloadAWS Encryption SDK for DafnyFri, 27 Mar 2026 00:23:04 -0000https://sourceforge.net/projects/aws-encrypt-sdk-dafny.mirror/files/v5.0.0/README.md/downloadAWS Encryption SDK for Dafny released /v5.0.0/5.0.0 -- 2026-03-24 source code.ziphttps://sourceforge.net/projects/aws-encrypt-sdk-dafny.mirror/files/v5.0.0/5.0.0%20--%202026-03-24%20source%20code.zip/downloadAWS Encryption SDK for DafnyFri, 27 Mar 2026 00:23:04 -0000https://sourceforge.net/projects/aws-encrypt-sdk-dafny.mirror/files/v5.0.0/5.0.0 -- 2026-03-24 source code.zip/downloadAWS Encryption SDK for Dafny released /v5.0.0/5.0.0 -- 2026-03-24 source code.tar.gzhttps://sourceforge.net/projects/aws-encrypt-sdk-dafny.mirror/files/v5.0.0/5.0.0%20--%202026-03-24%20source%20code.tar.gz/downloadAWS Encryption SDK for DafnyFri, 27 Mar 2026 00:23:04 -0000https://sourceforge.net/projects/aws-encrypt-sdk-dafny.mirror/files/v5.0.0/5.0.0 -- 2026-03-24 source code.tar.gz/downloadAWS Encryption SDK for Dafny released /v4.1.1/README.mdhttps://sourceforge.net/projects/aws-encrypt-sdk-dafny.mirror/files/v4.1.1/README.md/downloadAWS Encryption SDK for DafnySat, 18 Oct 2025 12:49:02 -0000https://sourceforge.net/projects/aws-encrypt-sdk-dafny.mirror/files/v4.1.1/README.md/downloadAWS Encryption SDK for Dafny released /v4.1.1/4.1.1 -- 2025-10-14 source code.ziphttps://sourceforge.net/projects/aws-encrypt-sdk-dafny.mirror/files/v4.1.1/4.1.1%20--%202025-10-14%20source%20code.zip/downloadAWS Encryption SDK for DafnySat, 18 Oct 2025 12:49:02 -0000https://sourceforge.net/projects/aws-encrypt-sdk-dafny.mirror/files/v4.1.1/4.1.1 -- 2025-10-14 source code.zip/downloadAWS Encryption SDK for Dafny released /v4.1.1/4.1.1 -- 2025-10-14 source code.tar.gzhttps://sourceforge.net/projects/aws-encrypt-sdk-dafny.mirror/files/v4.1.1/4.1.1%20--%202025-10-14%20source%20code.tar.gz/downloadAWS Encryption SDK for DafnySat, 18 Oct 2025 12:49:02 -0000https://sourceforge.net/projects/aws-encrypt-sdk-dafny.mirror/files/v4.1.1/4.1.1 -- 2025-10-14 source code.tar.gz/downloadAWS Encryption SDK for Dafny released /v4.1.0/README.mdhttps://sourceforge.net/projects/aws-encrypt-sdk-dafny.mirror/files/v4.1.0/README.md/downloadAWS Encryption SDK for DafnyTue, 14 May 2024 23:27:02 -0000https://sourceforge.net/projects/aws-encrypt-sdk-dafny.mirror/files/v4.1.0/README.md/downloadAWS Encryption SDK for Dafny released /v4.1.0/4.1.0 -- 2024-05-14 source code.ziphttps://sourceforge.net/projects/aws-encrypt-sdk-dafny.mirror/files/v4.1.0/4.1.0%20--%202024-05-14%20source%20code.zip/downloadAWS Encryption SDK for DafnyTue, 14 May 2024 23:27:02 -0000https://sourceforge.net/projects/aws-encrypt-sdk-dafny.mirror/files/v4.1.0/4.1.0 -- 2024-05-14 source code.zip/downloadAWS Encryption SDK for Dafny released /v4.1.0/4.1.0 -- 2024-05-14 source code.tar.gzhttps://sourceforge.net/projects/aws-encrypt-sdk-dafny.mirror/files/v4.1.0/4.1.0%20--%202024-05-14%20source%20code.tar.gz/downloadAWS Encryption SDK for DafnyTue, 14 May 2024 23:27:02 -0000https://sourceforge.net/projects/aws-encrypt-sdk-dafny.mirror/files/v4.1.0/4.1.0 -- 2024-05-14 source code.tar.gz/downloadAWS Encryption SDK for Dafny released /v4.0.1/README.mdhttps://sourceforge.net/projects/aws-encrypt-sdk-dafny.mirror/files/v4.0.1/README.md/downloadAWS Encryption SDK for DafnyWed, 22 Nov 2023 23:36:02 -0000https://sourceforge.net/projects/aws-encrypt-sdk-dafny.mirror/files/v4.0.1/README.md/downloadAWS Encryption SDK for Dafny released /v4.0.1/4.0.1 -- 2023-11-21 source code.ziphttps://sourceforge.net/projects/aws-encrypt-sdk-dafny.mirror/files/v4.0.1/4.0.1%20--%202023-11-21%20source%20code.zip/downloadAWS Encryption SDK for DafnyWed, 22 Nov 2023 23:36:02 -0000https://sourceforge.net/projects/aws-encrypt-sdk-dafny.mirror/files/v4.0.1/4.0.1 -- 2023-11-21 source code.zip/downloadAWS Encryption SDK for Dafny released /v4.0.1/4.0.1 -- 2023-11-21 source code.tar.gzhttps://sourceforge.net/projects/aws-encrypt-sdk-dafny.mirror/files/v4.0.1/4.0.1%20--%202023-11-21%20source%20code.tar.gz/downloadAWS Encryption SDK for DafnyWed, 22 Nov 2023 23:36:01 -0000https://sourceforge.net/projects/aws-encrypt-sdk-dafny.mirror/files/v4.0.1/4.0.1 -- 2023-11-21 source code.tar.gz/downloadAWS Encryption SDK for Dafny released /v4.0.0/4.0.0 -- 2023-10-11 source code.ziphttps://sourceforge.net/projects/aws-encrypt-sdk-dafny.mirror/files/v4.0.0/4.0.0%20--%202023-10-11%20source%20code.zip/downloadAWS Encryption SDK for DafnyMon, 16 Oct 2023 22:34:09 -0000https://sourceforge.net/projects/aws-encrypt-sdk-dafny.mirror/files/v4.0.0/4.0.0 -- 2023-10-11 source code.zip/downloadAWS Encryption SDK for Dafny released /v4.0.0/4.0.0 -- 2023-10-11 source code.tar.gzhttps://sourceforge.net/projects/aws-encrypt-sdk-dafny.mirror/files/v4.0.0/4.0.0%20--%202023-10-11%20source%20code.tar.gz/downloadAWS Encryption SDK for DafnyMon, 16 Oct 2023 22:34:09 -0000https://sourceforge.net/projects/aws-encrypt-sdk-dafny.mirror/files/v4.0.0/4.0.0 -- 2023-10-11 source code.tar.gz/downloadAWS Encryption SDK for Dafny released /v4.0.0/README.mdhttps://sourceforge.net/projects/aws-encrypt-sdk-dafny.mirror/files/v4.0.0/README.md/downloadAWS Encryption SDK for DafnyMon, 16 Oct 2023 22:34:09 -0000https://sourceforge.net/projects/aws-encrypt-sdk-dafny.mirror/files/v4.0.0/README.md/downloadAWS Encryption SDK for Dafny released /v3.1.0/README.mdhttps://sourceforge.net/projects/aws-encrypt-sdk-dafny.mirror/files/v3.1.0/README.md/downloadAWS Encryption SDK for DafnyThu, 15 Sep 2022 02:06:03 -0000https://sourceforge.net/projects/aws-encrypt-sdk-dafny.mirror/files/v3.1.0/README.md/downloadAWS Encryption SDK for Dafny released /v3.1.0/3.1.0 -- 2022-09-07.tar.gzhttps://sourceforge.net/projects/aws-encrypt-sdk-dafny.mirror/files/v3.1.0/3.1.0%20--%202022-09-07.tar.gz/downloadAWS Encryption SDK for DafnyThu, 15 Sep 2022 02:06:03 -0000https://sourceforge.net/projects/aws-encrypt-sdk-dafny.mirror/files/v3.1.0/3.1.0 -- 2022-09-07.tar.gz/downloadAWS Encryption SDK for Dafny released /v3.1.0/3.1.0 -- 2022-09-07.ziphttps://sourceforge.net/projects/aws-encrypt-sdk-dafny.mirror/files/v3.1.0/3.1.0%20--%202022-09-07.zip/downloadAWS Encryption SDK for DafnyThu, 15 Sep 2022 02:06:03 -0000https://sourceforge.net/projects/aws-encrypt-sdk-dafny.mirror/files/v3.1.0/3.1.0 -- 2022-09-07.zip/download