summaryrefslogtreecommitdiff
Commit message (Expand)AuthorAgeFilesLines
* dev-lang/boogie: bump to 3.1.5Maciej Barć2024-04-241-0/+1
* dev-lang/boogie: drop old 3.1.2Maciej Barć2024-04-241-1/+0
* dev-lang/boogie: bump to 3.1.4Maciej Barć2024-04-141-0/+1
* dev-lang/boogie: drop old 3.1.1Maciej Barć2024-04-141-1/+0
* dev-lang/boogie: drop old 3.0.12Maciej Barć2024-04-141-1/+0
* dev-lang/boogie: drop old 3.0.11Maciej Barć2024-04-141-1/+0
* dev-lang/boogie: bump to 3.1.3Maciej Barć2024-03-131-0/+1
* dev-lang/boogie: bump to 3.1.2Maciej Barć2024-03-081-0/+1
* dev-lang/boogie: drop old 3.0.10Maciej Barć2024-03-081-1/+0
* dev-lang/boogie: drop old 3.1.0Maciej Barć2024-03-051-1/+0
* dev-lang/boogie: bump to 3.1.1Maciej Barć2024-03-051-0/+1
* dev-lang/boogie: drop old 3.0.9Maciej Barć2024-03-041-1/+0
* dev-lang/boogie: bump to 3.1.0Maciej Barć2024-03-041-0/+1
* dev-lang/boogie: bump to 3.0.12Maciej Barć2024-02-191-0/+1
* dev-lang/boogie: drop old 3.0.8Maciej Barć2024-02-101-1/+0
* dev-lang/boogie: bump to 3.0.11Maciej Barć2024-02-031-0/+1
* dev-lang/boogie: drop old 3.0.6Maciej Barć2024-02-031-2/+0
* dev-lang/boogie: bump to 3.0.10Maciej Barć2024-01-221-0/+1
* dev-lang/boogie: drop old 3.0.5Maciej Barć2023-12-281-1/+0
* dev-lang/boogie: drop old 3.0.7Maciej Barć2023-12-081-1/+0
* dev-lang/boogie: bump to 3.0.9Maciej Barć2023-12-081-0/+1
* dev-lang/boogie: bump to 3.0.8Maciej Barć2023-11-291-0/+1
* dev-lang/boogie: bump to 3.0.7Maciej Barć2023-11-211-0/+1
* dev-lang/boogie: bump to 3.0.6Maciej Barć2023-11-171-0/+1
* dev-lang/boogie: drop old 3.0.4Maciej Barć2023-11-171-1/+0
* dev-lang/boogie: bump to 3.0.5Maciej Barć2023-10-111-0/+1
* dev-lang/boogie: drop old 2.16.0Maciej Barć2023-09-161-2/+0
* dev-lang/boogie: bump to 3.0.4Maciej Barć2023-09-151-0/+192
* dev-lang/boogie: drop old 2.15.9Maciej Barć2023-06-191-1/+0
* dev-lang/boogie: drop old 2.15.8-r4Maciej Barć2023-06-191-1/+0
* dev-lang/boogie: bump to 2.16.0Maciej Barć2022-11-281-0/+1
* dev-lang/boogie: bump to 2.15.9Maciej Barć2022-11-181-0/+1
* dev-lang/boogie: new package; add version 2.15.8Maciej Barć2022-10-031-0/+2