GitWeb
Get Gentoo!
gentoo.org sites
gentoo.org
Wiki
Bugs
Forums
Packages
Planet
Archives
Sources
Infra Status
Home
Gentoo Repository
Repositories
Projects
Developer Overlays
User Overlays
Data
Websites
index
:
repo/gentoo.git
master
Official Gentoo ebuild repository
Infrastructure team <infrastructure@gentoo.org>
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
dev-lang
/
dafny
Commit message (
Expand
)
Author
Age
Files
Lines
*
Rename dev-python/{OutputCheck → outputcheck}
Michał Górny
2024-11-22
3
-3
/
+3
*
*/*: update for slotted Rust
Matt Jolly
2024-11-09
3
-3
/
+3
*
dev-lang/dafny: remove tests failing with GCC 14
Maciej Barć
2024-11-04
1
-0
/
+4
*
dev-lang/dafny: bump to 4.9.0
Maciej Barć
2024-11-01
2
-0
/
+659
*
dev-lang/dafny: drop old 4.7.0
Maciej Barć
2024-10-23
2
-679
/
+0
*
dev-lang/dafny: Stabilize 4.8.0 amd64, #940558
Sam James
2024-10-01
1
-1
/
+1
*
dev-lang/dafny: bump to 4.8.1
Maciej Barć
2024-09-17
2
-0
/
+686
*
dev-lang/dafny: bump to 4.8.0
Maciej Barć
2024-08-31
2
-0
/
+685
*
dev-lang/dafny: drop old 4.6.0
Maciej Barć
2024-08-31
2
-643
/
+0
*
dev-lang/dafny: Stabilize 4.7.0 amd64, #937075
Arthur Zamarin
2024-08-01
1
-1
/
+1
*
dev-lang/dafny: bump to 4.7.0
Maciej Barć
2024-06-28
2
-0
/
+679
*
dev-lang/dafny: drop old 4.5.0
Maciej Barć
2024-06-07
2
-625
/
+0
*
dev-lang/dafny: Stabilize 4.6.0 amd64, #932860
Sam James
2024-05-28
1
-1
/
+1
*
dev-lang/dafny: drop old 4.4.0-r1
Maciej Barć
2024-05-27
4
-636
/
+0
*
dev-lang/dafny: disable broken c++ tests
Maciej Barć
2024-05-27
1
-0
/
+3
*
dev-lang/dafny: Stabilize 4.5.0 amd64, #930160
Matoro Mahri
2024-05-23
1
-1
/
+1
*
dev-lang/dafny: use edo instead of edob
Maciej Barć
2024-05-24
3
-3
/
+3
*
dev-lang/dafny: bump to 4.6.0
Maciej Barć
2024-03-29
2
-0
/
+628
*
dev-lang/dafny: disable tests requiring cargo
Maciej Barć
2024-03-19
1
-0
/
+3
*
dev-lang/dafny: add missing psutil test dependency
Maciej Barć
2024-03-18
1
-0
/
+1
*
dev-lang/dafny: bump to 4.5.0
Maciej Barć
2024-03-17
3
-0
/
+656
*
dev-lang/dafny: drop old 4.3.0-r1
Maciej Barć
2024-02-10
5
-669
/
+0
*
dev-lang/dafny: Stabilize 4.4.0-r1 amd64, #922370
Maciej Barć
2024-01-29
1
-2
/
+2
*
dev-lang/dafny: bring Java support back
Maciej Barć
2023-12-13
3
-50
/
+45
*
dev-lang/dafny: bump to 4.4.0
Maciej Barć
2023-12-13
6
-0
/
+637
*
dev-lang/dafny: Stabilize 4.3.0-r1 amd64, #917307
Sam James
2023-11-13
1
-1
/
+1
*
dev-lang/dafny: patch out .NET framework
Maciej Barć
2023-10-31
3
-4
/
+23
*
dev-lang/dafny: clean environment in pkg_setup
Maciej Barć
2023-10-06
1
-4
/
+9
*
dev-lang/dafny: drop old 4.2.0
Maciej Barć
2023-10-06
2
-517
/
+0
*
dev-lang/dafny: bump to 4.3.0
Maciej Barć
2023-09-30
2
-0
/
+691
*
dev-lang/dafny: add "go" test dependency
Maciej Barć
2023-09-18
1
-0
/
+1
*
dev-lang/dafny: add missing src_unpack to support git
Maciej Barć
2023-09-18
1
-0
/
+8
*
dev-lang/dafny: new package; add 4.2.0
Maciej Barć
2023-09-17
7
-0
/
+859