| /dports/security/hs-cryptol/cryptol-2.11.0/src/Cryptol/TypeCheck/Solver/Numeric/ |
| H A D | Fin.hs | 22 cryIsFin :: Ctxt -> Prop -> Solved
28 cryIsFinType :: Ctxt -> Type -> Solved
|
| /dports/math/polylib/polylib-5.22.5/Test/others/ |
| H A D | ben2 | 3 # (polyparam.c) Solved calling GNU MP.
|
| H A D | ben | 3 # (polyparam.c) Solved calling GNU MP.
|
| /dports/math/barvinok/barvinok-0.41.5/polylib/Test/others/ |
| H A D | ben2 | 3 # (polyparam.c) Solved calling GNU MP.
|
| H A D | ben | 3 # (polyparam.c) Solved calling GNU MP.
|
| /dports/devel/p5-ParseTemplate/ParseTemplate-3.08/ |
| H A D | Changes | 9 * Solved problem with test scripts:
15 * Solved problem with test scripts:
|
| /dports/www/ikiwiki/ikiwiki-3.20200202.3/doc/forum/Problem_with_gitweb/ |
| H A D | comment_5_8a79b879205bd265d54e30f0eee2ac63._comment | 7 Solved by `sudo chmod a+x /home/myuser`
|
| /dports/x11-toolkits/plasma5-kdeplasma-addons/kdeplasma-addons-5.23.5/po/he/ |
| H A D | plasma_applet_org.kde.plasma.fifteenpuzzle.po | 97 #| msgid "Solved! Try again."
99 msgid "Solved! Try again."
|
| /dports/games/picmi/picmi-21.12.3/po/ga/ |
| H A D | picmi.po | 491 msgid "Board Solved!"
522 msgid "Solved"
594 msgid "Solved: %1"
600 msgid "Solved: -"
630 msgid "Solved: -"
697 #| msgid "Solved: -"
698 msgid "Solved streaks:"
704 #| msgid "Solved: -"
|
| /dports/x11-toolkits/plasma5-kdeplasma-addons/kdeplasma-addons-5.23.5/po/el/ |
| H A D | plasma_applet_org.kde.plasma.fifteenpuzzle.po | 105 #| msgid "Solved! Try again."
107 msgid "Solved! Try again."
|
| /dports/x11-toolkits/plasma5-kdeplasma-addons/kdeplasma-addons-5.23.5/po/en_GB/ |
| H A D | plasma_applet_org.kde.plasma.fifteenpuzzle.po | 96 msgid "Solved! Try again."
97 msgstr "Solved! Try again."
|
| /dports/x11-toolkits/plasma5-kdeplasma-addons/kdeplasma-addons-5.23.5/po/sr/ |
| H A D | plasma_applet_org.kde.plasma.fifteenpuzzle.po | 104 #| msgid "Solved! Try again."
106 msgid "Solved! Try again."
|
| /dports/x11-toolkits/plasma5-kdeplasma-addons/kdeplasma-addons-5.23.5/po/sr@ijekavian/ |
| H A D | plasma_applet_org.kde.plasma.fifteenpuzzle.po | 104 #| msgid "Solved! Try again."
106 msgid "Solved! Try again."
|
| /dports/www/ikiwiki/ikiwiki-3.20200202.3/doc/forum/getsource_from_gitweb_with_cgi_disabled___44___Is_it_possible__63__/ |
| H A D | comment_1_747cc477584028ce2c7bc198070b1221._comment | 4 subject="Solved - patched source"
|
| /dports/lang/fpc-source/fpc-3.2.2/tests/tbs/ |
| H A D | tb0150.pp | 5 { problem for units with names different from file name should be accepted with -Un !! Solved, but …
|
| /dports/x11-toolkits/plasma5-kdeplasma-addons/kdeplasma-addons-5.23.5/po/sr@ijekavianlatin/ |
| H A D | plasma_applet_org.kde.plasma.fifteenpuzzle.po | 104 #| msgid "Solved! Try again."
106 msgid "Solved! Try again."
|
| /dports/x11-toolkits/plasma5-kdeplasma-addons/kdeplasma-addons-5.23.5/po/sr@latin/ |
| H A D | plasma_applet_org.kde.plasma.fifteenpuzzle.po | 104 #| msgid "Solved! Try again."
106 msgid "Solved! Try again."
|
| /dports/x11-toolkits/plasma5-kdeplasma-addons/kdeplasma-addons-5.23.5/po/tr/ |
| H A D | plasma_applet_org.kde.plasma.fifteenpuzzle.po | 104 #| msgid "Solved! Try again."
106 msgid "Solved! Try again."
|
| /dports/games/picmi/picmi-21.12.3/po/bs/ |
| H A D | picmi.po | 495 msgid "Board Solved!"
527 msgid "Solved"
600 msgid "Solved: %1"
606 msgid "Solved: -"
636 msgid "Solved: -"
703 #| msgid "Solved Streaks"
704 msgid "Solved streaks:"
|
| /dports/games/picmi/picmi-21.12.3/po/kk/ |
| H A D | picmi.po | 494 msgid "Board Solved!"
526 msgid "Solved"
599 msgid "Solved: %1"
605 msgid "Solved: -"
635 msgid "Solved: -"
702 #| msgid "Solved Streaks"
703 msgid "Solved streaks:"
|
| /dports/games/picmi/picmi-21.12.3/po/ru/ |
| H A D | picmi.po | 497 msgid "Board Solved!"
528 msgid "Solved"
601 msgid "Solved: %1"
607 msgid "Solved: -"
637 msgid "Solved: -"
703 #| msgid "Solved Streaks"
704 msgid "Solved streaks:"
|
| /dports/games/picmi/picmi-21.12.3/po/tr/ |
| H A D | picmi.po | 493 msgid "Board Solved!"
524 msgid "Solved"
597 msgid "Solved: %1"
603 msgid "Solved: -"
633 msgid "Solved: -"
699 #| msgid "Solved Streaks"
700 msgid "Solved streaks:"
|
| /dports/games/picmi/picmi-21.12.3/po/de/ |
| H A D | picmi.po | 488 msgid "Board Solved!"
519 msgid "Solved"
592 msgid "Solved: %1"
598 msgid "Solved: -"
628 msgid "Solved: -"
694 #| msgid "Solved Streaks"
695 msgid "Solved streaks:"
|
| /dports/games/picmi/picmi-21.12.3/po/et/ |
| H A D | picmi.po | 490 msgid "Board Solved!"
521 msgid "Solved"
594 msgid "Solved: %1"
600 msgid "Solved: -"
630 msgid "Solved: -"
696 #| msgid "Solved Streaks"
697 msgid "Solved streaks:"
|
| /dports/games/picmi/picmi-21.12.3/po/nds/ |
| H A D | picmi.po | 494 msgid "Board Solved!"
526 msgid "Solved"
599 msgid "Solved: %1"
605 msgid "Solved: -"
635 msgid "Solved: -"
702 #| msgid "Solved Streaks"
703 msgid "Solved streaks:"
|