aboutsummaryrefslogtreecommitdiff
path: root/security/hs-cryptol
Commit message (Expand)AuthorAgeFilesLines
* security/hs-cryptol: update 3.3.0 → 3.4.0Yuri Victorovich2025-11-083-147/+140
* security/hs-cryptol: update 3.2.0 → 3.3.0Yuri Victorovich2025-03-222-216/+291
* security/hs-cryptol: update 3.1.0 → 3.2.0Yuri Victorovich2024-08-232-220/+196
* security/hs-cryptol: Switch to GHC 9.6Andrey Korobkov2024-04-193-96/+91
* security/hs-cryptol: update 3.0.0 → 3.1.0Yuri Victorovich2024-02-062-229/+283
* security/hs-cryptol: Update 2.13.0 → 3.0.0Yuri Victorovich2023-06-282-206/+300
* Haskell ports: Fix dependency on GHC 9.2 after its upgrade.Gleb Popov2023-06-071-1/+1
* security/hs-cryptol: Switch to GHC 9.2 for building.Gleb Popov2023-05-271-0/+1
* Uses/cabal.mk: Rework MASTER_SITES and DISTFILES handling.Gleb Popov2022-11-202-126/+139
* Remove WWW entries moved into port MakefilesStefan Eßer2022-09-071-2/+0
* Add WWW entries to port MakefilesStefan Eßer2022-09-071-0/+1
* Uses/cabal.mk: Rename `EXECUTABLES` to `CABAL_EXECUTABLES`.Gleb Popov2022-08-091-2/+2
* Uses/cabal.mk: Introduce CABAL_WRAPPER_SCRIPTS variable.Gleb Popov2022-07-281-1/+2
* security/hs-cryptol: Update to 2.13.0Gleb Popov2022-07-073-246/+304
* devel/libffi: Bump deps PORTREVISION for shlib changeKevin Bowling2022-05-091-0/+1
* security/hs-cryptol: Mark as broken on aarch64.Mikael Urankar2021-10-141-0/+1
* security/hs-cryptol: Fix Makefile formatYuri Victorovich2021-04-231-2/+2
* security/hs-cryptol: Update 2.10.0 -> 2.11.0Yuri Victorovich2021-04-232-173/+167
* Bump USES=cabal ports after 12837690ed0cTobias Kortkamp2021-04-211-0/+1
* One more small cleanup, forgotten yesterday.Mathieu Arnold2021-04-071-1/+0
* Remove # $FreeBSD$ from Makefiles.Mathieu Arnold2021-04-061-1/+0
* security/hs-cryptol: Update 2.9.0 -> 2.10.0Yuri Victorovich2020-12-212-110/+139
* lang/ghc: Update to 8.10.1.Gleb Popov2020-08-1610-163/+238
* Chanse update of devel/libffiNiclas Zeising2020-07-041-1/+1
* Upgrade lang/ghc to 8.8.3 and many Haskell ports along the way.Gleb Popov2020-05-0410-13/+133
* security/hs-cryptol: Remove the unnecessary lineYuri Victorovich2020-02-241-2/+0
* New port: security/hs-cryptol: Language of cryptographyYuri Victorovich2020-02-243-0/+138