summaryrefslogtreecommitdiff
Commit message (Expand)AuthorAgeFilesLines
* Rename dev-python/{OutputCheck → outputcheck}Michał Górny2024-11-223-3/+3
* */*: update for slotted RustMatt Jolly2024-11-093-3/+3
* dev-lang/dafny: remove tests failing with GCC 14Maciej Barć2024-11-041-0/+4
* dev-lang/dafny: bump to 4.9.0Maciej Barć2024-11-012-0/+659
* dev-lang/dafny: drop old 4.7.0Maciej Barć2024-10-232-679/+0
* dev-lang/dafny: Stabilize 4.8.0 amd64, #940558Sam James2024-10-011-1/+1
* dev-lang/dafny: bump to 4.8.1Maciej Barć2024-09-172-0/+686
* dev-lang/dafny: bump to 4.8.0Maciej Barć2024-08-312-0/+685
* dev-lang/dafny: drop old 4.6.0Maciej Barć2024-08-312-643/+0
* dev-lang/dafny: Stabilize 4.7.0 amd64, #937075Arthur Zamarin2024-08-011-1/+1
* dev-lang/dafny: bump to 4.7.0Maciej Barć2024-06-282-0/+679
* dev-lang/dafny: drop old 4.5.0Maciej Barć2024-06-072-625/+0
* dev-lang/dafny: Stabilize 4.6.0 amd64, #932860Sam James2024-05-281-1/+1
* dev-lang/dafny: drop old 4.4.0-r1Maciej Barć2024-05-274-636/+0
* dev-lang/dafny: disable broken c++ testsMaciej Barć2024-05-271-0/+3
* dev-lang/dafny: Stabilize 4.5.0 amd64, #930160Matoro Mahri2024-05-231-1/+1
* dev-lang/dafny: use edo instead of edobMaciej Barć2024-05-243-3/+3
* dev-lang/dafny: bump to 4.6.0Maciej Barć2024-03-292-0/+628
* dev-lang/dafny: disable tests requiring cargoMaciej Barć2024-03-191-0/+3
* dev-lang/dafny: add missing psutil test dependencyMaciej Barć2024-03-181-0/+1
* dev-lang/dafny: bump to 4.5.0Maciej Barć2024-03-173-0/+656
* dev-lang/dafny: drop old 4.3.0-r1Maciej Barć2024-02-105-669/+0
* dev-lang/dafny: Stabilize 4.4.0-r1 amd64, #922370Maciej Barć2024-01-291-2/+2
* dev-lang/dafny: bring Java support backMaciej Barć2023-12-133-50/+45
* dev-lang/dafny: bump to 4.4.0Maciej Barć2023-12-136-0/+637
* dev-lang/dafny: Stabilize 4.3.0-r1 amd64, #917307Sam James2023-11-131-1/+1
* dev-lang/dafny: patch out .NET frameworkMaciej Barć2023-10-313-4/+23
* dev-lang/dafny: clean environment in pkg_setupMaciej Barć2023-10-061-4/+9
* dev-lang/dafny: drop old 4.2.0Maciej Barć2023-10-062-517/+0
* dev-lang/dafny: bump to 4.3.0Maciej Barć2023-09-302-0/+691
* dev-lang/dafny: add "go" test dependencyMaciej Barć2023-09-181-0/+1
* dev-lang/dafny: add missing src_unpack to support gitMaciej Barć2023-09-181-0/+8
* dev-lang/dafny: new package; add 4.2.0Maciej Barć2023-09-177-0/+859