Skip to content

Commit

Permalink
make testcases debian proof
Browse files Browse the repository at this point in the history
  • Loading branch information
mlschroe committed Apr 10, 2024
1 parent 9b55a66 commit 66c5b02
Show file tree
Hide file tree
Showing 2 changed files with 10 additions and 10 deletions.
8 changes: 4 additions & 4 deletions test/testcases/proof/pubg1.t
Expand Up @@ -13,7 +13,7 @@ repo available 0 testtags <inline>
#>=Pkg: menu 1.1.0 0 i586
#>=Req: dropdown >= 2.0.0
#>=Pkg: menu 1.0.0 0 i586
#>=Req: dropdown = 1.8.0
#>=Req: dropdown = 1.8.0-0
#>=Pkg: dropdown 2.3.0 0 i586
#>=Req: icons >= 2.0.0
#>=Pkg: dropdown 2.2.0 0 i586
Expand All @@ -23,16 +23,16 @@ repo available 0 testtags <inline>
#>=Pkg: dropdown 2.0.0 0 i586
#>=Req: icons >= 2.0.0
#>=Pkg: dropdown 1.8.0 0 i586
#>=Req: intl = 3.0.0
#>=Req: intl = 3.0.0-0
#>=Pkg: icons 2.0.0 0 i586
#>=Pkg: icons 1.0.0 0 i586
#>=Pkg: intl 5.0.0 0 i586
#>=Pkg: intl 4.0.0 0 i586
#>=Pkg: intl 3.0.0 0 i586
system i586 * system
job install name menu
job install name icons = 1.0.0
job install name intl = 5.0.0
job install name icons = 1.0.0-0
job install name intl = 5.0.0-0
result proof <inline>
#>proof 77cc0794 0 job a8f3723000d5bf17a40da5be2d55acb7
#>proof 77cc0794 0: --> icons-1.0.0-0.i586@available
Expand Down
12 changes: 6 additions & 6 deletions test/testcases/proof/pubg2.t
Expand Up @@ -3,17 +3,17 @@
repo system 0 testtags <inline>
repo available 0 testtags <inline>
#>=Pkg: foo 1.0.0 0 i586
#>=Req: a = 1.0.0
#>=Req: b = 1.0.0
#>=Req: a = 1.0.0-0
#>=Req: b = 1.0.0-0
#>=Pkg: foo 1.1.0 0 i586
#>=Req: x = 1.0.0
#>=Req: y = 1.0.0
#>=Req: x = 1.0.0-0
#>=Req: y = 1.0.0-0
#>=Pkg: a 1.0.0 0 i586
#>=Req: b = 2.0.0
#>=Req: b = 2.0.0-0
#>=Pkg: b 1.0.0 0 i586
#>=Pkg: b 2.0.0 0 i586
#>=Pkg: x 1.0.0 0 i586
#>=Req: y = 2.0.0
#>=Req: y = 2.0.0-0
#>=Pkg: y 1.0.0 0 i586
#>=Pkg: y 2.0.0 0 i586
system i586 * system
Expand Down

0 comments on commit 66c5b02

Please sign in to comment.